Interface | Description |
---|---|
EquivalenceClass |
EquivalenceClass interface.
|
Formula |
Class | Description |
---|---|
BinaryModalOperator | |
BooleanConstant | |
Conjunction | |
Disjunction | |
FOperator |
Finally.
|
Fragments | |
FrequencyG | |
GOperator |
Globally.
|
LabelledFormula | |
Literal | |
MOperator |
Strong Release.
|
PropositionalFormula | |
ROperator |
Weak Release.
|
UnaryModalOperator | |
UOperator |
Strong Until.
|
WOperator |
Weak Until.
|
XOperator |
Next.
|
Enum | Description |
---|---|
FrequencyG.Comparison | |
FrequencyG.Limes |