Uses of Class
jline.lang.state.AfterGlobalEvent.AfterGlobalEventResult

Packages that use AfterGlobalEvent.AfterGlobalEventResult

Package	Description
jline.lang.state	Classes that model the state of a network and its individual nodes

Uses of AfterGlobalEvent.AfterGlobalEventResult in jline.lang.state

Methods in jline.lang.state that return AfterGlobalEvent.AfterGlobalEventResult

Modifier and Type	Method	Description
static AfterGlobalEvent.AfterGlobalEventResult	AfterGlobalEvent.afterGlobalEvent(NetworkStruct sn, int ind, List<Matrix> glspace, GlobalSync glevent, boolean isSimulation)	Processes a global event in a Stochastic Petri Net (SPN) and computes the resulting state space.