spot  2.4.2
Public Member Functions | List of all members
spot::bdd_less_than_stable Struct Reference

Comparison functor for BDDs. More...

#include <spot/misc/bddlt.hh>

Inheritance diagram for spot::bdd_less_than_stable:
Inheritance graph
Collaboration diagram for spot::bdd_less_than_stable:
Collaboration graph

Public Member Functions

bool operator() (const bdd &left, const bdd &right) const
 

Detailed Description

Comparison functor for BDDs.

This comparison function actually check 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.


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 Sat Nov 25 2017 02:13:16 for spot by doxygen 1.8.13