|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IGraphFactory
Method Summary | |
---|---|
IGraphProposition |
Proposition(String label,
boolean isNegated)
A proposition with the given label. |
IGraphProposition |
SigmaProposition()
The unique SIGMA proposition, meaning any symbol. |
IState |
State(String label,
boolean isInitial,
boolean isFinal)
Constructs a state with the given label. |
ITransition |
Transition(Set<IGraphProposition> labels,
IState sourceState,
IState targetState)
A transition with the given label, source and target state |
Method Detail |
---|
IState State(String label, boolean isInitial, boolean isFinal)
label
- label of the stateisInitial
- true
if the state is the initial stateisFinal
- true
if the state is final
ITransition Transition(Set<IGraphProposition> labels, IState sourceState, IState targetState)
labels
- labelsourceState
- source state of the transitiontargetState
- target state of the transition
IGraphProposition Proposition(String label, boolean isNegated)
label
- labelisNegated
- it true
, the proposition is negated
IGraphProposition SigmaProposition()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |