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`.

Detailed Description

Binary predicate defining the total ordering on variables.

Definition at line 124 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: