spot
0.8.2
|
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.
typedef Sgi::hash_map<bdd, bdd, bdd_hash> spot::acceptance_convertor::bdd_cache_t [protected] |
spot::acceptance_convertor::acceptance_convertor | ( | bdd | allneg | ) | [inline] |
bdd spot::acceptance_convertor::as_full_product | ( | bdd | acc | ) |
bdd spot::acceptance_convertor::as_positive_product | ( | bdd | acc | ) |
bdd spot::acceptance_convertor::allneg_ [protected] |