Hi Mario,
Yes you are right. I have now corrected the documentation for both ppl_Polyhedron_contains_Polyhedron/2 and ppl_Polyhedron_strictly_contains_Polyhedron/2 (which had the same error).
Thanks very much for spotting this and letting us know.
Best wishes, Pat
On Sat, 16 Jul 2005, Mario Mendez wrote:
Hi everybody,
I just notice a small error in the documentation about the Prolog interface (http://www.cs.unipr.it/ppl/Documentation/user/group__PrologInterface.html)
It says " ppl_Polyhedron_contains_Polyhedron(+Handle_1, +Handle_2) Succeeds if and only if the polyhedron referenced by Handle_1 is included in or equal to the polyhedron referenced by Handle_2"
when it works in the opposite way:
?- ?- ppl_initialize, ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=2,'$VAR'(0)=<4],Poly1), ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=0,'$VAR'(0)=<8],Poly2),
ppl_Polyhedron_contains_Polyhedron(Poly1,Poly2), ppl_finalize.no
?- ?- ppl_initialize, ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=2,'$VAR'(0)=<4],Poly1), ppl_new_Polyhedron_from_constraints(c,['$VAR'(0)>=0,'$VAR'(0)=<8],Poly2),
ppl_Polyhedron_contains_Polyhedron(Poly2,Poly1), ppl_finalize.Poly1 = '$address'(268012696), Poly2 = '$address'(268013120) ?
Maybe the situation is the same in the main API or in the C interface, though I didn't check them.
Mario _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel