| PPL
    1.1
    | 
Binary predicate defining the total ordering on variables. More...
#include <ppl.hh>
| Public Member Functions | |
| bool | operator() (Variable x, Variable y) const | 
| Returns trueif and only ifxcomes beforey. | |
Binary predicate defining the total ordering on variables.