Package jline.lang.state
package jline.lang.state
Classes that model the state of a network and its individual nodes
-
ClassesClassDescriptionLoop-invariant context precomputed by
State.afterEventInit(jline.lang.NetworkStruct)forState.afterEvent(jline.lang.NetworkStruct, int, jline.util.matrix.Matrix, jline.lang.constant.EventType, int, boolean).Event handler for stateful Fork nodes (FJ tag-augmented structs only, see ModelAdapter.fjtag).Event handler for Join stations on FJ tag-augmented structs (see ModelAdapter.fjtag).Result of a pass-and-swap transition: the new ordered list and the departing class.Event handler and state enumerator of a station with heterogeneous server pools, as rewritten for the CTMC byjline.solvers.ctmc.handlers.Solver_ctmc_pools.Arrival of a REPLY signal class at the FCFS station that is holding a server for the matching synchronous call.Fork firing synchronization handler (FJ tag-augmented structs, see ModelAdapter.fjtag).Result container for global event processing in Stochastic Petri Net models.The true-BAS held-job block of a blocking station's local state (BUG-110).A become-blocked arc: the rate factor and the local row after the job is held.A departure arc: the rate factor, the held block after it (null = unchanged), and whether it is the transfer of a held job.Pair form of a multiserver MAP (or MMPP2) service in the CTMC state space, set bySolver_ctmc_mapc.apply; port of the MATLAB sn.ctmcmapc{ist,r} struct.Server-pool bookkeeping of a heterogeneous station (Queue.addServerType) as rewritten for the CTMC byjline.solvers.ctmc.handlers.Solver_ctmc_pools; port of MATLAB sn.nodeparam{ind}.ctmcpool.A class storing eventsA data structure acting as a key to the EventCacheState-space helpers for polling stations.Outcomes of a controller decision (Polling.advance(jline.lang.state.Polling.Info, int[], int[], boolean)): one full controller vector per outcome with its mode (MODE_VISIT, MODE_SWITCH, MODE_PARK), the class whose job starts service (-1 for none) and its probability.Derived description of the polling controller at a station.Result of a landing: the successor rows and the probability of each.Result ofPolling.landAll(jline.lang.state.Polling.Info, jline.lang.state.Polling.Advance, jline.util.matrix.Matrix, jline.util.matrix.Matrix, jline.util.matrix.Matrix, jline.util.matrix.Matrix, jline.util.matrix.Matrix, java.util.Map<jline.lang.JobClass, jline.util.matrix.Matrix>, java.util.List<jline.lang.JobClass>): the successor rows, the probability of each and the class that starts service on it (-1 for none).Layout of, and accessors for, the synchronous-call (REPLY signal) blocked-server block that a node carries in its local-variable state.Layout of the reply block at one node.State-space helpers and event handler for round-robin (SchedStrategy.RR) stations: FCFS service with a finite time slice (quantum), Haverkort (1998), Sect.Derived description of the round-robin node block.Passive arrival of a G-network signal class at a station.Class modeling the state of Stateful nodesResult class for event handling methods