|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectrwth.i2.ltl2ba4j.model.impl.GraphFactory
public class GraphFactory
Constructor Summary | |
---|---|
GraphFactory()
|
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 |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public GraphFactory()
Method Detail |
---|
public IState State(String label, boolean isInitial, boolean isFinal)
State
in interface IGraphFactory
label
- label of the stateisInitial
- true
if the state is the initial stateisFinal
- true
if the state is final
public ITransition Transition(Set<IGraphProposition> labels, IState sourceState, IState targetState)
Transition
in interface IGraphFactory
labels
- labelsourceState
- source state of the transitiontargetState
- target state of the transition
public IGraphProposition Proposition(String label, boolean isNegated)
Proposition
in interface IGraphFactory
label
- labelisNegated
- it true
, the proposition is negated
public IGraphProposition SigmaProposition()
SigmaProposition
in interface IGraphFactory
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |