Package jline.lang.state
Classes that model the state of a network and its individual nodes
See: Description
-
Class Summary Class Description EventCacheKey A data structure acting as a key to the EventCache AfterEventTransition AfterEventCache AfterEventRouter EventCache A class storing events EventHandleResult Result class for event handling methods StateMarginalStatistics QNC StateSpaceGeneratorResult spaceGeneratorNodesResult State Class modeling the state of Stateful nodes AfterGlobalEventResult Result container for global event processing in Stochastic Petri Net models. AfterGlobalEvent FromMarginal ToMarginal AfterEventStation