PPL  1.2
Parma_Polyhedra_Library::Variable::Compare Struct Reference

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

#include <ppl.hh>

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.


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