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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

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 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.