Package jline.io
Class Ret.EventResult
java.lang.Object
jline.io.Ret.EventResult
- Enclosing class:
- Ret
Result type for event-based state space exploration functions.
This class encapsulates the output of afterEvent* functions which compute the possible states reachable after an event occurs in the queueing network, along with the rates and probabilities of transitions.
-
Field Summary
FieldsModifier and TypeFieldDescriptionfinal MatrixPREEMPT annotation of each successor: outpreempt(i,r) counts the class-r jobs pushed back into the buffer on successor row i.final Matrixfinal Matrixfinal Matrixfinal MatrixSTART annotation of each successor: outstart(i,r) counts the class-r jobs that begin, or resume, holding a server on successor row i. -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
outspace
-
outrate
-
outprob
-
outstart
START annotation of each successor: outstart(i,r) counts the class-r jobs that begin, or resume, holding a server on successor row i. Instantaneous tag on an existing arc, never an event of its own, so nothing here changes a rate, a probability or a state. -
outpreempt
PREEMPT annotation of each successor: outpreempt(i,r) counts the class-r jobs pushed back into the buffer on successor row i.
-
-
Constructor Details
-
EventResult
-
EventResult
-
-
Method Details
-
startOf
public double startOf(int row, int cls) START count of one successor row and class, zero when the arc carries no annotation. Reading the matrices through this accessor keeps every caller safe against a handler that has not been annotated. -
preemptOf
public double preemptOf(int row, int cls) PREEMPT count of one successor row and class.
-