Package org.oristool.models.tpn

Class TimedTransitionFeature

java.lang.Object

org.oristool.models.tpn.TimedTransitionFeature

All Implemented Interfaces:

TransitionFeature, Feature

public final class TimedTransitionFeature
extends Object
implements TransitionFeature

Transition feature with minimum/maximum required time to the firing.

Constructor Summary

Constructors

Constructor	Description
TimedTransitionFeature(String eft, String lft)	Builds a timed feature from minimum/maximum firing times specified as strings.
TimedTransitionFeature(OmegaBigDecimal eft, OmegaBigDecimal lft)	Builds a timed feature from minimum/maximum firing times.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object other)
OmegaBigDecimal	getEFT()
OmegaBigDecimal	getLFT()
int	hashCode()
boolean	isDeterministic()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TimedTransitionFeature

public TimedTransitionFeature(OmegaBigDecimal eft,
                              OmegaBigDecimal lft)

Builds a timed feature from minimum/maximum firing times.

Parameters:

eft - earliest firing time (minimum time to fire)

lft - latest firing time (maximum time to fire)

TimedTransitionFeature

public TimedTransitionFeature(String eft,
                              String lft)

Builds a timed feature from minimum/maximum firing times specified as strings. The strings must be valid inputs to the constructor of OmegaBigDecimal.

Parameters:

eft - earliest firing time (minimum time to fire)

lft - latest firing time (maximum time to fire)

Method Detail

isDeterministic

public boolean isDeterministic()

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getEFT

public OmegaBigDecimal getEFT()

getLFT

public OmegaBigDecimal getLFT()

toString

public String toString()

Overrides:

toString in class Object