rwth.i2.ltlrv.afastate.interfaze
Interface ITT

All Superinterfaces:

IAFAState, IFormula

All Known Implementing Classes:

TT

public interface ITT
extends IFormula, IAFAState

ITT represents TT = true

Author:

Eric Bodden

Nested Class Summary

Nested classes/interfaces inherited from interface rwth.i2.ltlrv.afastate.interfaze.IAFAState

IAFAState.ValidationException, IAFAState.VariableKind

Method Summary

Methods inherited from interface rwth.i2.ltlrv.afastate.interfaze.IAFAState

isFinalStateInAFA, provides, providesNeg, providesPos, requires, specializeBindings, transition, unboundVariablesAtCurrentJoinpoint, validate