rwth.i2.ltlrv.afastate.interfaze
Interface INullaryAFAState

All Superinterfaces:

IAFAState, IFormula

All Known Subinterfaces:

IProposition

All Known Implementing Classes:

FF, NullaryAFAState, Proposition, TT

public interface INullaryAFAState
extends IAFAState

INullaryAFAState - Common interface for nullary AFA states. There are three kinds of such states: ITT, IFF and IProposition.

Author:

Eric Bodden

Nested Class Summary

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

IAFAState.ValidationException, IAFAState.VariableKind

Method Summary

INullaryAFAState

getInstance()

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

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

Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula

negationNormalForm, symbol

Method Detail

getInstance

INullaryAFAState getInstance()

Returns:

The usually unique instance of this kind.