spot
1.1.4
|
Help class to convert between acceptance conditions to other BDD formats. More...
#include <misc/accconv.hh>
Public Member Functions | |
acceptance_convertor (bdd allneg) | |
bdd | as_positive_product (bdd acc) |
bdd | as_full_product (bdd acc) |
Protected Types | |
typedef Sgi::hash_map< bdd, bdd, bdd_hash > | bdd_cache_t |
Protected Attributes | |
bdd | allneg_ |
bdd_cache_t | pos_prod_cache_ |
bdd_cache_t | full_prod_cache_ |
Help class to convert between acceptance conditions to other BDD formats.
|
protected |
|
inline |
bdd spot::acceptance_convertor::as_full_product | ( | bdd | acc) |
bdd spot::acceptance_convertor::as_positive_product | ( | bdd | acc) |
|
protected |
|
protected |
|
protected |