Package com.uppaal.model.system.concrete
Class ConcreteSuccessor
- java.lang.Object
-
- com.uppaal.model.system.concrete.ConcreteSuccessor
-
public class ConcreteSuccessor extends Object
-
-
Constructor Summary
Constructors Constructor Description ConcreteSuccessor(ConcreteState state, CannotEvaluateException e)
ConstructorConcreteSuccessor(ConcreteState state, ConcreteTransition[] transitions)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description CannotEvaluateException
getException()
Get the exceptionConcreteState
getState()
Get concrete stateConcreteTransition[]
getTransitions()
Get the transitions of the concrete successor
-
-
-
Constructor Detail
-
ConcreteSuccessor
public ConcreteSuccessor(ConcreteState state, ConcreteTransition[] transitions)
Constructor- Parameters:
state
- - The concrete statetransitions
- - The transitions
-
ConcreteSuccessor
public ConcreteSuccessor(ConcreteState state, CannotEvaluateException e)
Constructor- Parameters:
state
- - The concrete statee
- - The exception
-
-
Method Detail
-
getState
public ConcreteState getState()
Get concrete state- Returns:
- state - The concrete state
-
getTransitions
public ConcreteTransition[] getTransitions()
Get the transitions of the concrete successor- Returns:
- transitions - Is length 0 if exception happened.
-
getException
public CannotEvaluateException getException()
Get the exception- Returns:
- e - The exception. null: no exception happened.
-
-