Package | Description |
---|---|
rmp |
Modifier and Type | Method and Description |
---|---|
TransitionList |
Model.getPosttransitions(int place) |
TransitionList |
Model.getProperPosttransitions(int place) |
TransitionList |
Model.getProperPretransitions(int place) |
TransitionList |
Model.getTransitions() |
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<java.lang.String> |
Path.getTransitionNames(TransitionList transitionList) |
java.util.ArrayList<Transition> |
Path.getTransitions(TransitionList transitionList) |
java.lang.String |
Path.toString(TransitionList transitionList) |
Constructor and Description |
---|
Model(java.util.ArrayList<java.lang.String> speciesList,
TransitionList transitions,
State initState,
int[] goalMask) |