spot
0.8.3
|
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.
bool spot::ltl::automatop::tripletcmp::operator() | ( | const triplet & | p1, |
const triplet & | p2 | ||
) | const [inline] |