- PPL-devel - BUGSENG Mailman

ppl interfaces/Prolog/ppl_prolog.outlines.hh i ...
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 20:16:31 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc src : Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh Log message: Poly_Con_Relation::implies() and Poly_Gen_Relation::implies() were wrong because of missing parentheses. Poly_Con_Relation::operator!() and Poly_Gen_Relation::operator!() were ill-designed: removed. Added Poly_Con_Relation operator-(const Poly_Con_Relation& x, const Poly_Con_Relation& y) and the similar operator dealing with Poly_Gen_Relation. Prolog interface functions ppl_relation_with_constraint/2 and ppl_relation_with_generator/2 changed accordingly. New Prolog interface functions made available to GNU, SICStus, and SWI Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.inlines…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Patricia Hill 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-13 18:28:52 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: ppl_affine_image and ppl_affine_preimage corrected and ppl_add_domensions_and_constraints added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-13 17:35:22 Modified files: src : PolyBase.cc Log message: When constructing a PolyBase, now we store the value of the newly introduced boolean flag in the corresponding private member. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src Makefile.am Polyhedron.cc Polyhedron.d ...
by Enea Zaffanella 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-13 17:04:20 Modified files: src : Makefile.am Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh conversion.cc minimize.cc simplify.cc Added files: src : PolyBase.cc PolyBase.defs.hh PolyBase.inlines.hh PolyBase.types.hh Log message: Class Polyhedron renamed into PolyBase. Added a private boolean flag "necessarily_closed_" and modified all constructors (but not the copy constructor) to also accept a boolean argument (which is ignored, for the moment). Created a new class Polyhedron inheriting public-ly from PolyBase. This will be the class defining "necessarily closed" polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.types.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 16:38:11 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: ppl_relation_with_constraint/3 and ppl_relation_with_generator/3 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/src Poly_Con_Relation.defs.hh Poly_Con_Rel ...
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 16:36:46 Modified files: src : Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh Log message: The implies() methods were not qualified as const. Poly_Con_Relation::operator!() and Poly_Gen_Relation::operator!() added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.inlines…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh S ...
by Patricia Hill 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-13 16:20:46 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: ppl_affine_image and ppl_affine_preimage added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-13 14:58:37 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Misspelled functions fixed. ppl_polyhedron_strictly_included/2 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Patricia Hill 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-13 14:02:49 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Definitions of equal, included_or_equal and strictly_included predicates corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh S ...
by Patricia Hill 13 Mar '02

13 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-13 11:56:11 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Some corrections to some of the new predicates definitions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0