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.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.Derived description of the polling controller at a station.Result of a landing: the successor rows and the probability of each.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.Passive arrival of a G-network signal class at a station.Class modeling the state of Stateful nodesResult class for event handling methods