public interface TransitionSystem
Modifier and Type | Method and Description |
---|---|
Graph |
getInitialGraph()
Returns the initial graph of this graph transition system.
|
java.util.Collection<Transition> |
getTransitions(Graph source)
Returns the outgoing transitions from a source graph.
|
Graph getInitialGraph()
null
.java.util.Collection<Transition> getTransitions(Graph source)
source
- the source graph of the returned transitions