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.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.Passive arrival of a G-network signal class at a station.Class modeling the state of Stateful nodesResult class for event handling methods