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