spot::bdd_less_than Struct Reference

Comparison functor for BDDs. More...

#include <spot/misc/bddlt.hh>

Collaboration diagram for spot::bdd_less_than:

Public Member Functions
bool	operator() (const bdd &left, const bdd &right) const

Detailed Description

Comparison functor for BDDs.

This comparison function use BDD ids for efficiency. An algorithm depending on this order may return different results depending on how the BDD library has been used before.

---

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

• spot/misc/bddlt.hh