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

Parameters:
l1 pointer to first formula to compare
l2 pointer to second formula to compare
Returns:
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