<br><font size=2 face="sans-serif">Antonio,</font>
<br>
<br><font size=2 face="sans-serif">I think that the problem may not be
the exists. I'm not an expert at solver, but I believe that there
may be an issue with the consequence of your first rule.</font>
<br>
<br><tt><font size=2>insertLogical(new IntConstraintOccurrence("diff",
10));</font></tt>
<br>
<br><font size=2 face="sans-serif">The way that insertLogical works the
new object will only be inserted if it does not .equals() with another
fact in the working memory (or maybe in the truth maintenance system).
Without seeing the rest of the solver (moves and such) I can't say
for certain, but I think that each move is being evaluated to the same
weight because the 1st rule will never result in a constraint occurrence
> 10. Multiple matches of that rule will only result in one IntConstraintOccurrence
being inserted.<br>
</font>
<br><font size=2 face="sans-serif">Maybe Wolfgang or someone else a little
more experienced can verify my assumptions about how insertLogical works.</font>
<br>
<br><font size=2 face="sans-serif">Thanks,</font>
<br><font size=3>Steve</font>
<br>
<br><tt><font size=2>rules-users-bounces@lists.jboss.org wrote on 05/05/2010
04:07:37 AM:<br>
<br>
> [image removed] </font></tt>
<br><tt><font size=2>> <br>
> Re: [rules-users] how "exists" works exactly?</font></tt>
<br><tt><font size=2>> <br>
> Wolfgang Laun </font></tt>
<br><tt><font size=2>> <br>
> to:</font></tt>
<br><tt><font size=2>> <br>
> Rules Users List</font></tt>
<br><tt><font size=2>> <br>
> 05/05/2010 04:15 AM</font></tt>
<br><tt><font size=2>> <br>
> Sent by:</font></tt>
<br><tt><font size=2>> <br>
> rules-users-bounces@lists.jboss.org</font></tt>
<br><tt><font size=2>> <br>
> Please respond to Rules Users List</font></tt>
<br><tt><font size=2>> <br>
> One thing I've noticed is that<br>
> not (exists (EPackage( ) ) )<br>
> is a roundabout (and possibly inefficient) way of saying<br>
> not (EPackage( ... ) )<br>
> <br>
> It's difficult (for me) to deduce what should happen in the rules
as<br>
> the description of the<br>
> fact data isn't clear enough (for me).<br>
> <br>
> -W<br>
> <br>
> 2010/5/5 Antonio Neto <antoniosouzaneto@gmail.com>:<br>
> > Any idea? Please...<br>
> ><br>
> > 2010/5/4 Antonio Neto <antoniosouzaneto@gmail.com><br>
> >><br>
> >> Hi all,<br>
> >><br>
> >> I don't know exactly why I have a problem in my "exists"
function. I've<br>
> >> tried many different ways, but it does not work. Anybody
could help me,<br>
> >> please?<br>
> >><br>
> >> I have the following rules:<br>
> >><br>
> >> rule "diff"<br>
> >> when<br>
> >> $var1: EReference(name == "employee")<br>
> >> $var2: EClass(name == "Company",
EAllReferences contains $var1)<br>
> >> not (exists( EPackage(EClassifiers contains
$var2 ) ))<br>
> >> then<br>
> >> insertLogical(new IntConstraintOccurrence("diff",
10));<br>
> >> end<br>
> >><br>
> >> rule "ClassesNotReferenced"<br>
> >> when<br>
> >> $q1 : EClass();<br>
> >> $q2 : EPackage(EClassifiers
contains $q1);<br>
> >> not( exists (
EReference(EType == $q1) ));<br>
> >> then<br>
> >> insertLogical(new
IntConstraintOccurrence("ClassesNotReferenced",<br>
> >> 1, $q1));<br>
> >> end<br>
> >><br>
> >><br>
> >> and in my facts (and my EPackage) I have 4 instances of EClass
"Company"<br>
> >> with a EReference "employee", and another EClass
"Person". I still have a<br>
> >> "move" that removes EClasses in my Drools Solver.<br>
> >><br>
> >> I need to have only one classe "Company" after
processing. But it removes<br>
> >> only the EClass "Person", when it was supposed
to remove one <br>
> EClass "Person"<br>
> >> and 3 ECLasses "Company". Leaving one EClass "Company"
in the end.<br>
> >><br>
> >> The problem is: when Drools tries to remove a EClass
"Person" it thinks<br>
> >> that the EClass "Company" does not exists.
But in fact there are3 others.<br>
> >><br>
> >> Any clue about it, please ?<br>
> >><br>
> >> Thanks<br>
> >><br>
> >> Bests regards<br>
> >><br>
> >> Antonio<br>
> >><br>
> >><br>
> ><br>
> ><br>
> > _______________________________________________<br>
> > rules-users mailing list<br>
> > rules-users@lists.jboss.org<br>
> > </font></tt><a href="https://lists.jboss.org/mailman/listinfo/rules-users"><tt><font size=2>https://lists.jboss.org/mailman/listinfo/rules-users</font></tt></a><tt><font size=2><br>
> ><br>
> ><br>
> <br>
> _______________________________________________<br>
> rules-users mailing list<br>
> rules-users@lists.jboss.org<br>
> </font></tt><a href="https://lists.jboss.org/mailman/listinfo/rules-users"><tt><font size=2>https://lists.jboss.org/mailman/listinfo/rules-users</font></tt></a><tt><font size=2><br>
</font></tt>