Loading [MathJax]/jax/output/HTML-CSS/config.js
CAL  3.0.0
An External Memory Decision Diagram Library
All Classes Functions Typedefs Enumerations Enumerator Modules Pages
Cal Member List

This is the complete list of members for Cal, including all inherited members.

And(const BDD &f, const BDD &g)Calinline
And(IT begin, IT end)Calinline
And(const Container &c)Calinline
AssociationInit(IT begin, IT end, const bool pairs=false)Calinline
AssociationQuit(int i)Calinline
AssociationSetCurrent(int i)Calinline
Between(const BDD &fMin, const BDD &fMax)Calinline
BF enum value (defined in Cal)Cal
Cal()Calinline
Cal(unsigned int numVars)Calinline
Cal(const Cal &o)=delete (defined in Cal)Cal
Cal(Cal &&o)Calinline
Cofactor(const BDD &f, const BDD &c)Calinline
Compose(const BDD &f, const BDD &g, const BDD &h)Calinline
CreateNewVarAfter(const BDD &x)Calinline
CreateNewVarBefore(const BDD &x)Calinline
CreateNewVarFirst()Calinline
CreateNewVarLast()Calinline
DependsOn(const BDD &f, const BDD &var) constCalinline
DF enum value (defined in Cal)Cal
DynamicReordering(ReorderTechnique technique, ReorderMethod method=ReorderMethod::DF)Calinline
Else(const BDD &f)Calinline
Exists(const BDD &f)Calinline
ForAll(const BDD &f)Calinline
FunctionPrint(const BDD &f, std::string &name) constCalinline
FunctionProfile(const BDD &f) constCalinline
FunctionProfile(IT begin, IT end) constCalinline
FunctionProfile(const Container &c) constCalinline
GC()Calinline
Id(Id_t id) constCalinline
Identity(const BDD &f)Calinline
If(const BDD &f) constCalinline
IfId(const BDD &f) constCalinline
IfIndex(const BDD &f) constCalinline
Implies(const BDD &f, const BDD &g)Calinline
Index(Index_t idx) constCalinline
Intersects(const BDD &f, const BDD &g)Calinline
IsConst(const BDD &f) constCalinline
IsCube(const BDD &f) constCalinline
IsEqual(const BDD &f, const BDD &g) constCalinline
IsNull(const BDD &f) constCalinline
IsOne(const BDD &f) constCalinline
IsZero(const BDD &f) constCalinline
ITE(const BDD &f, const BDD &g, const BDD &h)Calinline
Nand(const BDD &f, const BDD &g)Calinline
NodeLimit(long newLimit)Calinline
Nodes() constCalinline
None enum value (defined in Cal)Cal
Nor(const BDD &f, const BDD &g)Calinline
Not(const BDD &f)Calinline
Null() constCalinline
One() constCalinline
Or(const BDD &f, const BDD &g)Calinline
Or(IT begin, IT end)Calinline
Or(const Container &c)Calinline
Overflow() constCalinline
PairwiseAnd(IT begin, IT end)Calinline
PairwiseAnd(const Container &c)Calinline
PairwiseOr(IT begin, IT end)Calinline
PairwiseOr(const Container &c)Calinline
PairwiseXor(IT begin, IT end)Calinline
PairwiseXor(const Container &c)Calinline
Print(const BDD &f, FILE *fp=stdout) constCalinline
PrintFunctionProfile(const BDD &f, int lineLength=79, FILE *fp=stdout) constCalinline
PrintFunctionProfile(IT begin, IT end, int lineLength=79, FILE *fp=stdout) constCalinline
PrintFunctionProfile(const Container &c, int lineLength=79, FILE *fp=stdout) constCalinline
PrintProfile(const BDD &f, int lineLength=79, FILE *fp=stdout) constCalinline
PrintProfile(IT begin, IT end, int lineLength=79, FILE *fp=stdout) constCalinline
PrintProfile(const Container &c, int lineLength=79, FILE *fp=stdout) constCalinline
Profile(const BDD &f, bool negout=true) constCalinline
Profile(IT begin, IT end, bool negout=true) constCalinline
Profile(const Container &c, bool negout=true) constCalinline
Reduce(const BDD &f, const BDD &c)Calinline
Regular(const BDD &f)Calinline
RelProd(const BDD &f, const BDD &g)Calinline
Reorder()Calinline
ReorderMethod enum nameCal
ReorderTechnique enum nameCal
Satisfy(const BDD &f)Calinline
SatisfyingFraction(const BDD &f)Calinline
SatisfySupport(const BDD &f)Calinline
SetGCLimit()Calinline
SetGCMode(bool enableGC)Calinline
SetParameters(long reorderingThreshold, long maxForwardedNodes, double repackAfterGCThreshold, double tableRepackThreshold)Calinline
Sift enum value (defined in Cal)Cal
Size(const BDD &f, bool negout=true)Calinline
Size(IT begin, IT end, bool negout=true)Calinline
Size(Container c, bool negout=true)Calinline
Stats(FILE *fp=stdout) constCalinline
Substitute(const BDD &f)Calinline
SwapVars(const BDD &f, const BDD &g, const BDD &h)Calinline
TempAssociationAugment(IT begin, const IT end, const bool pairs=false)Calinline
TempAssociationInit(IT begin, const IT end, const bool pairs=false)Calinline
TempAssociationQuit()Calinline
Then(const BDD &f)Calinline
TotalSize() constCalinline
Vars() constCalinline
VarSubstitute(const BDD &f) (defined in Cal)Calinline
Window enum value (defined in Cal)Cal
Xnor(const BDD &f, const BDD &g)Calinline
Xor(const BDD &f, const BDD &g)Calinline
Xor(IT begin, IT end)Calinline
Xor(const Container &c)Calinline
Zero() constCalinline
~Cal()Calinline