Uses of Class
jline.lang.GlobalSync

Packages that use GlobalSync

Package	Description
jline.lang	Abstractions to declare basic elements of a model.
jline.lang.state	Classes that model the state of a network and its individual nodes

Uses of GlobalSync in jline.lang

Fields in jline.lang with type parameters of type GlobalSync

Modifier and Type	Field	Description
Map<Integer,GlobalSync>	NetworkStruct.gsync

Uses of GlobalSync in jline.lang.state

Methods in jline.lang.state with parameters of type GlobalSync

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.
protected static State.EventHandleResult	State.handleEnableEvent(NetworkStruct sn, int ind, GlobalSync glevent, List<Matrix> glspace, List<Matrix> outglspace, Matrix inspace, Matrix spaceBuf, Matrix spaceSrv, Matrix spaceVar, Matrix fK, Matrix fKs, int mode, TransitionNodeParam transParam, int R)	Handles ENABLE events for transitions in Stochastic Petri Net (SPN) event processing.
protected static State.EventHandleResult	State.handleFireEvent(NetworkStruct sn, int ind, GlobalSync glevent, List<Matrix> glspace, List<Matrix> outglspace, Matrix inspace, Matrix spaceBuf, Matrix spaceSrv, Matrix spaceVar, Matrix fK, Matrix fKs, int mode, TransitionNodeParam transParam, int R)	Handles FIRE events for transitions in Stochastic Petri Net (SPN) event processing.