Class AfterGlobalEvent.AfterGlobalEventResult

  • All Implemented Interfaces:

    
    public class AfterGlobalEvent.AfterGlobalEventResult
    
                        

    Result 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.

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
    • Method Summary

      Modifier and Type Method Description
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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 processing
        outrate - Transition rates for each resulting state
        outprob - Probabilities for each resulting state transition
    • Method Detail