Parma_Polyhedra_Library::Variable::Compare Struct Reference
[C++ Language Interface]

Binary predicate defining the total ordering on variables. More...

List of all members.

Public Member Functions

bool operator() (Variable x, Variable y) const
 Returns true if and only if x comes before y.


Detailed Description

Binary predicate defining the total ordering on variables.


Generated on Wed Jul 16 22:51:11 2008 for PPL by  doxygen 1.5.6