spot  2.8.1
Public Member Functions | List of all members
spot::bdd_less_than Struct Reference

Comparison functor for BDDs. More...

#include <spot/misc/bddlt.hh>

Inheritance diagram for spot::bdd_less_than:
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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13