public class ConcreteSuccessor extends Object
Constructor and Description |
---|
ConcreteSuccessor(ConcreteState state,
CannotEvaluateException e)
Constructor
|
ConcreteSuccessor(ConcreteState state,
ConcreteTransition[] transitions)
Constructor
|
Modifier and Type | Method and Description |
---|---|
CannotEvaluateException |
getException()
Get the exception
|
ConcreteState |
getState()
Get concrete state
|
ConcreteTransition[] |
getTransitions()
Get the transitions of the concrete successor
|
public ConcreteSuccessor(ConcreteState state, ConcreteTransition[] transitions)
state
- - The concrete statetransitions
- - The transitionspublic ConcreteSuccessor(ConcreteState state, CannotEvaluateException e)
state
- - The concrete statee
- - The exceptionpublic ConcreteState getState()
public ConcreteTransition[] getTransitions()
public CannotEvaluateException getException()
Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.