TransitionFeature
, Feature
public final class TimedTransitionFeature extends Object implements TransitionFeature
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.
|
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(Object other) |
|
OmegaBigDecimal |
getEFT() |
|
OmegaBigDecimal |
getLFT() |
|
int |
hashCode() |
|
boolean |
isDeterministic() |
|
String |
toString() |
public TimedTransitionFeature(OmegaBigDecimal eft, OmegaBigDecimal lft)
eft
- earliest firing time (minimum time to fire)lft
- latest firing time (maximum time to fire)public TimedTransitionFeature(String eft, String lft)
OmegaBigDecimal
.eft
- earliest firing time (minimum time to fire)lft
- latest firing time (maximum time to fire)public boolean isDeterministic()
public OmegaBigDecimal getEFT()
public OmegaBigDecimal getLFT()
Copyright © 2018 STLAB. All rights reserved.