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

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

Detailed Description

Binary predicate defining the total ordering on variables.

Definition at line 131 of file Variable_defs.hh.

Member Function Documentation

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.

                                                                     {
   return less(x, y);
 }

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