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.

Definition at line 123 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 82 of file Variable.inlines.hh.

00082                                                                     {
00083   return less(x, y);
00084 }

The documentation for this struct was generated from the following files:


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