|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ITT | |
---|---|
rwth.i2.ltlrv.afastate.impl | Implementing classes of AFA states. |
rwth.i2.ltlrv.management | Holds classes for configuration management and formula creation. |
Uses of ITT in rwth.i2.ltlrv.afastate.impl |
---|
Classes in rwth.i2.ltlrv.afastate.impl that implement ITT | |
---|---|
class |
TT
TT - Implements the sink state / formula representing true . |
Uses of ITT in rwth.i2.ltlrv.management |
---|
Fields in rwth.i2.ltlrv.management declared as ITT | |
---|---|
private static ITT |
FormulaFactory.tt
The unique instance of ITT |
Methods in rwth.i2.ltlrv.management that return ITT | |
---|---|
ITT |
IFormulaFactory.TT()
Returns the unique positive sink state. |
ITT |
FormulaFactory.TT()
Returns the unique positive sink state. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |