Cover |
A Cover is a set of CoverElement , which means one of the
element should be satisfied.
|
CoverElement |
A CoverElement is a set of LTL formulae (literals or formulae of the
form "() f") that should be satisfied at the same time.
|
ExtendedModella |
This class provides an implementation of an extended MoDeLLa translation
algorithm.
|
ExtendedModellaTranslators |
This class provides several translators based on the extended MoDeLLa
approach.
|
ExtendedModellaTranslators.LTL2LOSNBW |
This is a translator from a LTL formula to a label-on-state NBW based on
the extended MoDeLLa approach.
|
ExtendedModellaTranslators.LTL2LOSNGBW |
This is a translator from a LTL formula to a label-on-state NGBW based on
the extended MoDeLLa approach.
|
ExtendedModellaTranslators.LTL2NBW |
This is a translator from a LTL formula to an NBW based on the extended
MoDeLLa approach.
|
ExtendedModellaTranslators.LTL2NGBW |
This is a translator from a LTL formula to an NGBW based on the extended
MoDeLLa approach.
|
ExtendedModellaTranslators.QPTL2LOSNBW |
This is a translator from a QPTL formula to a label-on-state NBW based on
the extended MoDeLLa approach.
|
ExtendedModellaTranslators.QPTL2LOSNGBW |
This is a translator from a QPTL formula to a label-on-state NGBW based
on the extended MoDeLLa approach.
|
ExtendedModellaTranslators.QPTL2NBW |
This is a translator from a QPTL formula to an NBW based on the extended
MoDeLLa approach.
|
ExtendedModellaTranslators.QPTL2NGBW |
This is a translator from a QPTL formula to an NGBW based on the extended
MoDeLLa approach.
|
Modella |
This class provides an implementation of the MoDeLLa translation algorithm
[Roberto Sebastiani, Stefano Tonetta: "More Deterministic" vs.
|
ModellaOptions |
This class contains several options for the MoDeLLa translators.
|
ModellaTranslators |
This class provides several translators based on the MoDeLLa approach.
|
ModellaTranslators.LTL2LOSNBW |
This is a translator from a LTL formula to a label-on-state NBW based on
the MoDeLLa approach.
|
ModellaTranslators.LTL2LOSNGBW |
This is a translator from a LTL formula to a label-on-state NGBW based on
the MoDeLLa approach.
|
ModellaTranslators.LTL2NBW |
This is a translator from a LTL formula to an NBW based on the MoDeLLa
approach.
|
ModellaTranslators.LTL2NGBW |
This is a translator from a LTL formula to an NGBW based on the MoDeLLa
approach.
|
ModellaTranslators.QPTL2LOSNBW |
This is a translator from a QPTL formula to a label-on-state NBW based on
the MoDeLLa approach.
|
ModellaTranslators.QPTL2LOSNGBW |
This is a translator from a QPTL formula to a label-on-state NGBW based
on the MoDeLLa approach.
|
ModellaTranslators.QPTL2NBW |
This is a translator from a QPTL formula to an NBW based on the MoDeLLa
approach.
|
ModellaTranslators.QPTL2NGBW |
This is a translator from a QPTL formula to an NGBW based on the MoDeLLa
approach.
|