[PPL-devel] ppl interfaces/Prolog/ppl_prolog.outlines.hh i ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at 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