Uses of Class
rwth.i2.ltlrv.afastate.interfaze.IAFAState.VariableKind

Packages that use IAFAState.VariableKind

rwth.i2.ltlrv.afastate.base	Abstract base classes for all AFA states.
rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.afastate.interfaze	Common interfaces for all AFA states.

Uses of IAFAState.VariableKind in rwth.i2.ltlrv.afastate.base

Methods in rwth.i2.ltlrv.afastate.base with parameters of type IAFAState.VariableKind

void	UnaryAFAState.unboundVariablesAtCurrentJoinpoint(IAFAState.VariableKind variableKind, Set<String> result) Default implementation.
void	NullaryAFAState.unboundVariablesAtCurrentJoinpoint(IAFAState.VariableKind variableKind, Set<String> result)
void	BinaryAFAState.unboundVariablesAtCurrentJoinpoint(IAFAState.VariableKind variableKind, Set<String> result) Default implementation.

Uses of IAFAState.VariableKind in rwth.i2.ltlrv.afastate.impl

Methods in rwth.i2.ltlrv.afastate.impl with parameters of type IAFAState.VariableKind

void	Proposition.unboundVariablesAtCurrentJoinpoint(IAFAState.VariableKind variableKind, Set<String> result)
void	Next.unboundVariablesAtCurrentJoinpoint(IAFAState.VariableKind variableKind, Set<String> result) Override cutting off the recursive search, since the Next operator builds the boundary between the current and the next joinpoints.

Uses of IAFAState.VariableKind in rwth.i2.ltlrv.afastate.interfaze

Methods in rwth.i2.ltlrv.afastate.interfaze that return IAFAState.VariableKind

static IAFAState.VariableKind	IAFAState.VariableKind.valueOf(String name) Returns the enum constant of this type with the specified name.
static IAFAState.VariableKind[]	IAFAState.VariableKind.values() Returns an array containing the constants of this enum type, in the order they're declared.

Methods in rwth.i2.ltlrv.afastate.interfaze with parameters of type IAFAState.VariableKind

void	IAFAState.unboundVariablesAtCurrentJoinpoint(IAFAState.VariableKind variableKind, Set<String> result)