Package org.oristool.models.gspn.reachability

Class SPNState

java.lang.Object

org.oristool.models.gspn.reachability.SPNState

All Implemented Interfaces:

StateFeature, CTMCState<Marking>, Feature

public final class SPNState
extends Object
implements StateFeature, CTMCState<Marking>

A GSPN state, including a sojourn rate and a marking.

Only the marking is used in object comparisons. As a consequence, when this class is used as node of a graph, there exists at most one edge between two markings.

A rate equal to Double.POSITIVE_INFINITY is used for vanishing states (where immediate transitions are enabled).

Constructor Summary

Constructors

Constructor	Description
SPNState(Marking marking, double exitRate)	Creates a new instance with a given marking and exit rate.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

SPNState

public SPNState(Marking marking,
 double exitRate)

Creates a new instance with a given marking and exit rate.

Parameters:

marking - marking of this state

exitRate - total exit rate

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

state

public Marking state()

Specified by:

state in interface CTMCState<Marking>

exitRate

public double exitRate()

Specified by:

exitRate in interface CTMCState<Marking>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object