|
spot
1.2.6
|
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.
1.8.4