|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |