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)	Constructor
ConcreteSuccessor(ConcreteState state, ConcreteTransition[] transitions)	Constructor

Method Summary

Modifier and Type	Method	Description
CannotEvaluateException	getException()	Get the exception
ConcreteState	getState()	Get concrete state
ConcreteTransition[]	getTransitions()	Get the transitions of the concrete successor

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConcreteSuccessor

public ConcreteSuccessor(ConcreteState state, ConcreteTransition[] transitions)

Constructor

Parameters:

state - - The concrete state

transitions - - The transitions

ConcreteSuccessor

public ConcreteSuccessor(ConcreteState state, CannotEvaluateException e)

Constructor

Parameters:

state - - The concrete state

e - - The exception

Method Details

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.