Logo Search packages:      
Sourcecode: lbt version File versions  Download package

bool Ltl::ltless::operator() ( const class Ltl l1,
const class Ltl l2 
) const [inline]

Lexicographic order of LTL formulae

l1 pointer to first formula to compare
l2 pointer to second formula to compare
true if l1 is before l2

Definition at line 47 of file Ltl.h.

      return *l1 < *l2;

Generated by  Doxygen 1.6.0   Back to index