[PPL-devel] ppl/src Constraint.defs.hh Constraint.cc
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Sun Nov 11 15:40:59 CET 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at cs.unipr.it 2001-11-11 15:40:59
Modified files:
src : Constraint.defs.hh Constraint.cc
Log message:
Constraint::is_trivial() renamed is_trivial_true().
Constraint::is_unsatisfiable() renamed is_trivial_false().
Both now use Row::all_homogeneous_terms_are_zero().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
More information about the PPL-devel
mailing list