Uses of Interface
rwth.i2.ltlrv.afastate.interfaze.ITT

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.