Package org.oristool.models.stpn
Class RewardRate
java.lang.Object
org.oristool.models.stpn.RewardRate
A marking-dependent rate expression.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionabstract doublestatic RewardRatefromString(String expression) static final MarkingConditionnonZero(double time, RewardRate[] rewardRates) Builds a marking condition that matches markings with nonzero reward.
-
Constructor Details
-
RewardRate
public RewardRate()
-
-
Method Details
-
evaluate
-
fromString
-
nonZero
Builds a marking condition that matches markings with nonzero reward.- Parameters:
time- time, for time-dependant rewardsrewardRates- reward rates- Returns:
- a marking condition matching markings with nonzero reward rate
-