spot::bdd_less_than_stable Struct Reference

Comparison functor for BDDs. More...

#include <spot/misc/bddlt.hh>

Collaboration diagram for spot::bdd_less_than_stable:

Public Member Functions
bool	operator() (const bdd &left, const bdd &right) const
	Compare two BDDs stably by variable order.

Detailed Description

Comparison functor for BDDs.

This comparison function actually checks for BDD variables, so as long as the variable order is the same, the output of this comparison will be stable and independent on previous BDD operations.

Member Function Documentation

operator()()

bool spot::bdd_less_than_stable::operator() ( const bdd &  left, const bdd &  right  ) const

inline

Compare two BDDs stably by variable order.

---

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

• spot/misc/bddlt.hh