Abstract class for representing logical formulas.
More...
List of all members.
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 |
( |
|
) |
|
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 |
( |
|
) |
|
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