|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
See:
Description
AFA-State-Packages | |
---|---|
rwth.i2.ltlrv.afastate | Holds code for LTL term constructors, which can occur in an AFA. |
rwth.i2.ltlrv.afastate.base | Abstract base classes for all AFA states. |
rwth.i2.ltlrv.afastate.impl | Implementing classes of AFA states. |
rwth.i2.ltlrv.afastate.interfaze | Common interfaces for all AFA states. |
Formula-Packages | |
---|---|
rwth.i2.ltlrv.formula | Holds code for LTL term constructors, which do not occur in an AFA. |
rwth.i2.ltlrv.formula.base | Abstract base classes for LTL term constructors. |
rwth.i2.ltlrv.formula.impl | Implementing classes for LTL term constructors. |
rwth.i2.ltlrv.formula.interfaze | Common interfaces for LTL term constructors. |
Management-Packages | |
---|---|
rwth.i2.ltlrv.management | Holds classes for configuration management and formula creation. |
rwth.i2.ltlrv.management.listeners |
Other Packages | |
---|---|
org.aspectbench.eaj.lang | |
org.aspectbench.eaj.lang.reflect | |
org.aspectbench.eaj.runtime.reflect | |
org.aspectbench.runtime | |
org.aspectbench.runtime.internal | |
org.aspectbench.runtime.internal.cflowinternal | |
org.aspectbench.runtime.reflect | |
org.aspectbench.tm.runtime.internal | |
org.aspectj.lang | Provides several interfaces for obtaining reflective information about a join point, as well as several exceptions that can be thrown by AspectJ code. |
org.aspectj.lang.reflect | Contains interfaces that extend Signature to provide
additional information about each possible join point signature. |
rwth.i2.ltlrv | |
rwth.i2.ltlrv.data | Holds some special data structures. |
rwth.i2.ltlrv.util | Holds utility classes. |
J-LO is distributed under the Qt non-commercial license. You can find further information about J-LO here.
The code can be separated into three big areas:
The formula packages contain code for formulae that are not yet valid formulae in negational normal form. For example a Finally operator is reduced to Until by the rule F phi = tt U phi. The code in those packages has no other purpose.
The AFA state packages contain the code that performs the actual semantic rewriting during runtime. Here the most work is done. Each class represents an AFA state.
The management classes manage configurations. They allow to take a transition from one formula configuration to another.
Then there are yet some helper classes and data structures.
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |