Package org.oristool.models.stpn.onegen

Class OneGenState

java.lang.Object

org.oristool.models.stpn.onegen.OneGenState

All Implemented Interfaces:

CTMCState<State>

public class OneGenState
extends Object
implements CTMCState<State>

CTMC state with reference to a node in the succession graph.

Constructor Summary

Constructors

Constructor	Description
OneGenState(State state)	Creates a new instance from a graph node.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object other)
double	exitRate()
int	hashCode()
State	state()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

OneGenState

public OneGenState(State state)

Creates a new instance from a graph node.

The marking is obtained from the PetriStateFeature of the state, while the exit rate is computed from the static features of enabled transitions.

Parameters:

state - node in the succession graph

Throws:

IllegalArgumentException - if more then one GEN transition or IMM transitions are enabled in the state.

Method Details

exitRate

public double exitRate()

Specified by:

exitRate in interface CTMCState<State>

state

public State state()

Specified by:

state in interface CTMCState<State>

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object