Public Member Functions | Private Attributes

de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd Class Reference

List of all members.

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

Detailed Description

Author:
smann
Version:
0.9.0
Since:
0.9.0

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVisitor2Bdd.AxlFormulaVisitor2Bdd ( BddManager  manager,
AxlVarSetBdd  avs 
)

Member Function Documentation

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]

Member Data Documentation