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

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

Class for representing the logical TRUE. More...

List of all members.

Static Public Member Functions

static AxlFormulaTrue one ()

Protected Member Functions

 AxlFormulaTrue ()

Static Private Attributes

static AxlFormulaTrue myself = null

Detailed Description

Class for representing the logical TRUE.

Author:
smann
Version:
0.9.0
Since:
0.9.0

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaTrue.AxlFormulaTrue (  )  [protected]

Member Function Documentation

static AxlFormulaTrue de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaTrue.one (  )  [static]

Member Data Documentation