spot
1.1.4
|
Helper class to convert acceptance conditions into promises. More...
#include <misc/acccompl.hh>
Public Member Functions | |
acc_compl (const bdd &all, const bdd &neg) | |
bdd | complement (const bdd &acc) |
bdd | reverse_complement (const bdd &acc) |
Protected Types | |
typedef Sgi::hash_map< bdd, bdd, bdd_hash > | bdd_cache_t |
Protected Attributes | |
const bdd | all_ |
const bdd | neg_ |
bdd_cache_t | cache_ |
Helper class to convert acceptance conditions into promises.
A set of acceptance conditions represented by the sum "Ã la Spot", is converted into a product of promises.
|
protected |
|
inline |
bdd spot::acc_compl::complement | ( | const bdd & | acc) |
bdd spot::acc_compl::reverse_complement | ( | const bdd & | acc) |
|
protected |
|
protected |
|
protected |