spot::formula_ptr_less_than_bool_first Struct Reference

Comparator for formula pointers that orders Boolean formulas before others. More...

#include <spot/tl/formula.hh>

Collaboration diagram for spot::formula_ptr_less_than_bool_first:

Public Member Functions
bool	operator() (const fnode *left, const fnode *right) const
	Compare two fnode pointers, Boolean formulas ordered first.
bool	operator() (const formula &left, const formula &right) const
	Compare two formula objects, Boolean formulas ordered first.

Detailed Description

Comparator for formula pointers that orders Boolean formulas before others.

Member Function Documentation

operator()() [1/2]

bool spot::formula_ptr_less_than_bool_first::operator() ( const fnode *  left, const fnode *  right  ) const

inline

Compare two fnode pointers, Boolean formulas ordered first.

References spot::ap, spot::atomic_prop_cmp(), spot::fnode::dump(), spot::fnode::id(), spot::fnode::is(), spot::fnode::is_boolean(), spot::fnode::is_constant(), spot::Not, and spot::fnode::nth().

operator()() [2/2]

bool spot::formula_ptr_less_than_bool_first::operator()	(	const formula &	left,
		const formula &	right
	)		const

Compare two formula objects, Boolean formulas ordered first.

---

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

• spot/tl/formula.hh