Class for representing the logical TRUE. More...
Static Public Member Functions | |
static AxlFormulaTrue | one () |
Protected Member Functions | |
AxlFormulaTrue () | |
Static Private Attributes | |
static AxlFormulaTrue | myself = null |
Class for representing the logical TRUE.
de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaTrue.AxlFormulaTrue | ( | ) | [protected] |
static AxlFormulaTrue de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaTrue.one | ( | ) | [static] |
Reimplemented from de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormula.
AxlFormulaTrue de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaTrue.myself = null [static, private] |