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.outlines.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus.cc.diff?cvsroot=ppl&r1=1.43&r2=1.44 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.inlines.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4