Parma_Polyhedra_Library::Variable::Compare Struct Reference
[C++ Language Interface]
Binary predicate defining the total ordering on variables.
More...
List of all members.
Detailed Description
Binary predicate defining the total ordering on variables.