Public Member Functions | |
AxlFormulaVisitor2Bdd (BddManager manager, AxlVarSetBdd avs) | |
BDD | visitAxlFormulaAnd (AxlFormulaAnd axlFormula) |
BDD | visitAxlFormulaBiimp (AxlFormulaBiimp axlFormula) |
BDD | visitAxlFormulaFalse (AxlFormulaFalse axlFormula) |
BDD | visitAxlFormulaImp (AxlFormulaImp axlFormula) |
BDD | visitAxlFormulaNot (AxlFormulaNot axlFormula) |
BDD | visitAxlFormulaOr (AxlFormulaOr axlFormula) |
BDD | visitAxlFormulaTrue (AxlFormulaTrue axlFormula) |
BDD | visitAxlFormulaVar (AxlFormulaVar axlFormula) |
BDD | visitAxlFormulaXor (AxlFormulaXor axlFormula) |
Private Attributes | |
AxlVarSetBdd | theAxlVarSet |
BddManager | theManager |
de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.AxlFormulaVisitor2Bdd | ( | BddManager | manager, | |
AxlVarSetBdd | avs | |||
) |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaAnd | ( | AxlFormulaAnd | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaBiimp | ( | AxlFormulaBiimp | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaFalse | ( | AxlFormulaFalse | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaImp | ( | AxlFormulaImp | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaNot | ( | AxlFormulaNot | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaOr | ( | AxlFormulaOr | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaTrue | ( | AxlFormulaTrue | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaVar | ( | AxlFormulaVar | axlFormula | ) | [virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.visitAxlFormulaXor | ( | AxlFormulaXor | axlFormula | ) | [virtual] |
AxlVarSetBdd de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.theAxlVarSet [private] |