PPL  1.0
Parma_Polyhedra_Library::Variable::Compare Struct Reference

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

#include <ppl.hh>

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.


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