[PPL-devel] Prolog documentation incorrect
P M Hill
hill at comp.leeds.ac.uk
Wed Jul 20 09:08:00 CEST 2005
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 at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>
More information about the PPL-devel
mailing list