Package org.oristool.models.gspn.reachability

Class FiringProbability

java.lang.Object

org.oristool.models.gspn.reachability.FiringProbability

All Implemented Interfaces:

SuccessionFeature, Feature

public final class FiringProbability
extends Object
implements SuccessionFeature

Succession feature encoding the firing probability.

Constructor Summary

Constructors

Constructor	Description
FiringProbability(double prob)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
String	toString()
double	value()

Methods inherited from class java.lang.Object

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

Constructor Details

FiringProbability

public FiringProbability(double prob)

Method Details

value

public double value()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object