spot
1.2.4
|
Comparison functor used internally by ltl::automatop. More...
#include <ltlast/automatop.hh>
Public Member Functions | |
bool | operator() (const triplet &p1, const triplet &p2) const |
Comparison functor used internally by ltl::automatop.