| AuxVariable |
Represents the Auxiliary Variable.
|
| FairnessRequirement |
This class represents the fairness requirement of an FDS.
|
| FDS |
Represents Fair Discrete System.
|
| FDSState |
State of Fair Discrete System.
|
| FDSTransition |
Transition of Fair Discrete System.
|
| InitialCondition |
The initial condition of a Fair Discrete System.
|
| JDS2BDS |
|
| JDS2GBA |
|
| SystemVariable |
This class stands for System Variable.
|
| TemporalTesterOptions |
This class contains several options for the Tableau translators.
|
| TemporalTesterTranslators |
Translators of Tableau from LTL and QPTL formulae to Omega automata.
|
| TemporalTesterTranslators.LTL2LOSNBW |
This is a Temporal Tester translator from LTL formulae to label-on-state
NBW.
|
| TemporalTesterTranslators.LTL2LOSNGBW |
This is a Temporal Tester translator from LTL formulae to label-on-state
NGBW.
|
| TemporalTesterTranslators.LTL2NBW |
This is a Temporal Tester translator from LTL formulae to NBW.
|
| TemporalTesterTranslators.LTL2NGBW |
This is a Temporal Tester translator from LTL formulae to NGBW.
|
| TemporalTesterTranslators.QPTL2LOSNBW |
This is a Temporal Tester translator from QPTL formulae to label-on-state
NBW.
|
| TemporalTesterTranslators.QPTL2LOSNGBW |
This is a Temporal Tester translator from QPTL formulae to label-on-state
NGBW.
|
| TemporalTesterTranslators.QPTL2NBW |
This is a Temporal Tester translator from QPTL formulae to NBW.
|
| TemporalTesterTranslators.QPTL2NGBW |
This is a Temporal Tester translator from QPTL formulae to NGBW.
|
| TransitionRelation |
This class used to represent the Transition Relation of a FDS.
|