CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@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.o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpro... 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_swip... 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....