Hi,
This looks odd to me...
In satisfies 4.cc we have:
GenSys_Con_Rel rel = ph.satisfies(c); ... return rel == NONE_SATISFIES ? 0 : 1;
But, if you run it noisy we get:
--- ph --- v(-4*A + 5*B), r(-A + B), r(A). --- c --- A = -1 ph.satisfies(c) == SOME_SATISFY
which agrees with my own paper and pencil calculation.
ciao, Pat
BTW I am using this latest version - I checked...
On Tue, 5 Mar 2002, Enea Zaffanella wrote:
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2002-03-05 16:46:59
Modified files: tests : satisfies4.cc
Log message: Corrected the test just inserted (and set NOISY = 0).
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies4.cc.diff?cvsro...
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel