Package jline.lang.state
Class AfterGlobalEvent.AfterGlobalEventResult
-
- All Implemented Interfaces:
public class AfterGlobalEvent.AfterGlobalEventResultResult container for global event processing in Stochastic Petri Net models. This class encapsulates the complete outcome of processing a global synchronization event, containing the updated state space and the associated rates and probabilities for all possible resulting states after event execution.
-
-
Constructor Summary
Constructors Constructor Description AfterGlobalEvent.AfterGlobalEventResult(List<Matrix> outglspace, Matrix outrate, Matrix outprob)Constructs a new result container for global event processing.
-
Method Summary
Modifier and Type Method Description -
-
Constructor Detail
-
AfterGlobalEvent.AfterGlobalEventResult
AfterGlobalEvent.AfterGlobalEventResult(List<Matrix> outglspace, Matrix outrate, Matrix outprob)
Constructs a new result container for global event processing.- Parameters:
outglspace- Updated global state space after event processingoutrate- Transition rates for each resulting stateoutprob- Probabilities for each resulting state transition
-
-
-
-