rwth.i2.ltlrv.afastate.interfaze
Interface IFF

All Superinterfaces:

IAFAState, IFormula

All Known Implementing Classes:

FF

public interface IFF
extends IFormula, IAFAState

IFF represents FF = false

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