public interface IDesignSpace
| Modifier and Type | Method and Description |
|---|---|
void |
addState(java.lang.Object sourceStateId,
java.lang.Object firedActivationId,
java.lang.Object newStateId) |
java.util.Collection<java.lang.Object> |
getActivationIds(java.lang.Object stateId) |
long |
getNumberOfStates() |
long |
getNumberOfTransitions() |
java.lang.Object |
getRandomActivationId(java.lang.Object stateId) |
java.util.Collection<java.lang.Object> |
getRoots() |
java.util.Collection<java.lang.Object> |
getStates() |
boolean |
isTraversed(java.lang.Object stateId) |
java.util.Collection<java.lang.Object> getStates()
java.util.Collection<java.lang.Object> getRoots()
void addState(java.lang.Object sourceStateId,
java.lang.Object firedActivationId,
java.lang.Object newStateId)
boolean isTraversed(java.lang.Object stateId)
java.util.Collection<java.lang.Object> getActivationIds(java.lang.Object stateId)
java.lang.Object getRandomActivationId(java.lang.Object stateId)
long getNumberOfStates()
long getNumberOfTransitions()