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

Class for representing a logical variable. More...

List of all members.

Public Member Functions
IAXLangElement	axlElement ()
	AxlFormulaVar ()
	AxlFormulaVar (String name)
	AxlFormulaVar (IAXLangElement e)
boolean	isDummy ()
void	setIsDummy ()
Protected Attributes
boolean	isDummy
	marker for dummy variables (necessary for BDD computation) //TODO
IAXLangElement	theElement
String	theName

---

Detailed Description

Class for representing a logical variable.

Author:

smann

Version:

0.9.0

Since:

0.9.0

---

Constructor & Destructor Documentation

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

(

)

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

(

String

name

)

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

(

IAXLangElement

e

)

---

Member Function Documentation

IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.axlElement

(

)

boolean de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.isDummy

(

)

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.

void de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.setIsDummy

(

)

Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.

---

Member Data Documentation

boolean de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.isDummy [protected]

marker for dummy variables (necessary for BDD computation) //TODO

IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.theElement [protected]

String de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaVar.theName [protected]