spot::formula_ptr_less_than_bool_first Struct Reference

Collaboration diagram for spot::formula_ptr_less_than_bool_first:

Public Member Functions
bool	operator() (const fnode *left, const fnode *right) const
bool	operator() (const formula &left, const formula &right) const

---

The documentation for this struct was generated from the following file:

• spot/tl/formula.hh