|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use INext | |
---|---|
rwth.i2.ltlrv.afastate.impl | Implementing classes of AFA states. |
rwth.i2.ltlrv.management | Holds classes for configuration management and formula creation. |
Uses of INext in rwth.i2.ltlrv.afastate.impl |
---|
Classes in rwth.i2.ltlrv.afastate.impl that implement INext | |
---|---|
class |
Next
Next - Implements the Next formula constructor of LTL. |
Uses of INext in rwth.i2.ltlrv.management |
---|
Methods in rwth.i2.ltlrv.management that return INext | |
---|---|
INext |
IFormulaFactory.X(IFormula formula)
Generates a Next formula. |
INext |
FormulaFactory.X(IFormula formula)
Generates a Next formula. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |