Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Static Protected Attributes

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

Abstract class for representing logical formulas. More...

List of all members.

Public Member Functions

Object accept (AxlFormulaVisitor visitor)
AxlFormula and (AxlFormula that)
AxlFormula biimp (AxlFormula that)
Collection< IAXLangElementgetIAXLangElements ()
 Get the IAXLangElements of the formula.
AxlFormula imp (AxlFormula that)
boolean isDummy ()
 standard implementation for identifying dummy variables
AxlFormula not ()
AxlFormula or (AxlFormula that)
void setIsDummy ()
 standard implementation for identifying dummy variables
BDD toBdd ()
SpassFormula toSpass ()
String toString ()
AxlFormula xor (AxlFormula that)

Static Public Member Functions

static AxlFormula one ()
static void setBddSettings (BddManager manager, AxlVarSetBdd avs)
static void setSpassSettings (AxlVarSetSpass avs)
static AxlFormula zero ()

Protected Member Functions

 AxlFormula (AxlFormula axlFormula, AxlFormula that)
 AxlFormula ()
 AxlFormula (AxlFormula that)

Protected Attributes

AxlFormula left
AxlFormula right

Static Protected Attributes

static AxlFormulaVisitor2Bdd axlFV2Bdd
static AxlFormulaVisitor2Spass axlFV2Spass
static AxlFormulaVisitor2String axlFV2String
static
AxlFormulaVisitorIAXLangElementGetter 
axlFVElementGetter

Detailed Description

Abstract class for representing logical formulas.

Author:
smann
Version:
0.9.0
Since:
0.9.0

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.AxlFormula ( AxlFormula  axlFormula,
AxlFormula  that 
) [protected]
de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.AxlFormula ( AxlFormula  that  )  [protected]
de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.AxlFormula (  )  [protected]

Member Function Documentation

Object de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.accept ( AxlFormulaVisitor  visitor  ) 
AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.and ( AxlFormula  that  ) 
AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.biimp ( AxlFormula  that  ) 
Collection<IAXLangElement> de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.getIAXLangElements (  ) 

Get the IAXLangElements of the formula.

Returns:
collection of IAXLangElements (maybe empty)
AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.imp ( AxlFormula  that  ) 
boolean de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.isDummy (  ) 

standard implementation for identifying dummy variables

Reimplemented in de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.

AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.not (  ) 
static AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.one (  )  [static]
AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.or ( AxlFormula  that  ) 
static void de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.setBddSettings ( BddManager  manager,
AxlVarSetBdd  avs 
) [static]
void de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.setIsDummy (  ) 

standard implementation for identifying dummy variables

Reimplemented in de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.

static void de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.setSpassSettings ( AxlVarSetSpass  avs  )  [static]
BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.toBdd (  ) 
SpassFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.toSpass (  ) 
String de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.toString (  ) 
AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.xor ( AxlFormula  that  ) 
static AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.zero (  )  [static]

Member Data Documentation