|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IState | |
---|---|
rwth.i2.ltl2ba4j.model | Interfaces defining finite state machines. |
rwth.i2.ltl2ba4j.model.impl | Default implementation. |
Uses of IState in rwth.i2.ltl2ba4j.model |
---|
Methods in rwth.i2.ltl2ba4j.model that return IState | |
---|---|
IState |
ITransition.getSourceState()
|
IState |
ITransition.getTargetState()
|
IState |
IGraphFactory.State(String label,
boolean isInitial,
boolean isFinal)
Constructs a state with the given label. |
Methods in rwth.i2.ltl2ba4j.model with parameters of type IState | |
---|---|
ITransition |
IGraphFactory.Transition(Set<IGraphProposition> labels,
IState sourceState,
IState targetState)
A transition with the given label, source and target state |
Uses of IState in rwth.i2.ltl2ba4j.model.impl |
---|
Classes in rwth.i2.ltl2ba4j.model.impl that implement IState | |
---|---|
class |
State
|
Fields in rwth.i2.ltl2ba4j.model.impl declared as IState | |
---|---|
protected IState |
Transition.sourceState
|
protected IState |
Transition.targetState
|
Methods in rwth.i2.ltl2ba4j.model.impl that return IState | |
---|---|
IState |
Transition.getSourceState()
|
IState |
Transition.getTargetState()
|
IState |
GraphFactory.State(String label,
boolean isInitial,
boolean isFinal)
Constructs a state with the given label. |
Methods in rwth.i2.ltl2ba4j.model.impl with parameters of type IState | |
---|---|
ITransition |
GraphFactory.Transition(Set<IGraphProposition> labels,
IState sourceState,
IState targetState)
A transition with the given label, source and target state |
Constructors in rwth.i2.ltl2ba4j.model.impl with parameters of type IState | |
---|---|
Transition(Set<IGraphProposition> labels,
IState sourceState,
IState targetState)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |