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
	Compare two BDDs by id.

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.

Member Function Documentation

operator()()

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

inline

Compare two BDDs by id.

---

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

• spot/misc/bddlt.hh