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.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.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