[PPL-devel] Polyhedra/src Constraint.cc
roberto at sandbox.cs.unipr.it
Tue Sep 11 14:18:41 CEST 2001
Module name: Polyhedra
Changes by: roberto at sandbox.cs.unipr.it 01/09/11 14:18:41
src : Constraint.cc
When writing constraints, write 2*A instead of 2A.
This does not contribute to conciseness but is necessary in order
to have other tools (such as Mesnard's cTi and Ciao-Prolog)
parse the output of China.
More information about the PPL-devel