Binary predicate defining the total ordering on variables. More...
#include <Variable.defs.hh>
Public Member Functions | |
| bool | operator() (Variable x, Variable y) const |
Returns true if and only if x comes before y. | |
Binary predicate defining the total ordering on variables.
Definition at line 124 of file Variable.defs.hh.
| bool Parma_Polyhedra_Library::Variable::Compare::operator() | ( | Variable | x, | |
| Variable | y | |||
| ) | const [inline] |
Returns true if and only if x comes before y.
Definition at line 83 of file Variable.inlines.hh.
References Parma_Polyhedra_Library::Variable::less().
00083 { 00084 return less(x, y); 00085 }
1.6.3