- java.lang.Object
-
- fr.inria.mochy.core.abstractClass.TransitionAbstract
-
- fr.inria.mochy.core.equalization.EquTransition
-
- fr.inria.mochy.core.equalization.EquTransitionStopsLoic
-
public class EquTransitionStopsLoic extends EquTransition
-
-
Field Summary
-
Fields inherited from class fr.inria.mochy.core.abstractClass.TransitionAbstract
clock, lowerBound, max, name, number, upperBound
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
busyPostSet()
void
dwellSample(Sampler s, Float targetDwell, float range)
float
getGhostSpeed()
float
getSpeed()
boolean
isBlocked(Marking m)
boolean
isFireable()
void
setGhostSpeed(float f)
void
setSpeed(float f)
void
speedSample(Sampler s, Float targetSpeed, float range)
String
toString()
-
Methods inherited from class fr.inria.mochy.core.equalization.EquTransition
addControlPre, addPost, addPre, controlAllowsFiring, getControlPre, getNormalTime, getPost, getPre, getWeibullCoef, isGaussian, isWeibull, sample, setGaussian, setWeibull, setWeibullCoef
-
Methods inherited from class fr.inria.mochy.core.abstractClass.TransitionAbstract
addLinkedEvent, getClock, getLinkedEvents, getLowerBound, getMax, getName, getNumber, getUpperBound, setClock, setClock, setLowerBound, setUpperBound, tokensTimeToFire
-
-
-
-
Method Detail
-
busyPostSet
public boolean busyPostSet()
-
isBlocked
public boolean isBlocked(Marking m)
-
isFireable
public boolean isFireable()
-
setSpeed
public void setSpeed(float f)
-
setGhostSpeed
public void setGhostSpeed(float f)
-
getSpeed
public float getSpeed()
-
getGhostSpeed
public float getGhostSpeed()
-
-