Package jline.io

Class Ret.EventResult

  • All Implemented Interfaces:

    
    public class Ret.EventResult
    
                        

    Result type for event-based state space exploration functions.

    This class encapsulates the output of afterEvent* functions which compute the possible states reachable after an event occurs in the queueing network, along with the rates and probabilities of transitions.

    • 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

    • Method Detail