Package jline.lang

Class Env

  • All Implemented Interfaces:
    java.io.Serializable

    
    public class Env
    extends Ensemble
                        

    An environment model defined by a collection of network sub-models coupled with an environment transition rule that selects the active sub-model.

    • Constructor Detail

      • Env

        Env(String name, int numStages)
    • Method Detail

      • addStage

         void addStage(int stageIdx, String name, String type, Network model)

        Adds a network model to a specific stage of the environment. All stages must have networks with the same number of stateful nodes.

        Parameters:
        stageIdx - the index of the stage (0-based)
        name - the name of this stage
        type - the type classification for this stage
        model - the network model to associate with this stage
      • addTransition

         void addTransition(int fromStageIdx, int toStageIdx, Markovian distrib)

        Adds a transition between two stages with default reset function (identity).

        Parameters:
        fromStageIdx - the source stage index
        toStageIdx - the destination stage index
        distrib - the Markovian distribution governing this transition
      • addTransition

         void addTransition(int fromStageIdx, int toStageIdx, Markovian distrib, Env.ResetQueueLengthsFunction resetFun)

        Adds a transition between two stages with a custom reset function.

        Parameters:
        fromStageIdx - the source stage index
        toStageIdx - the destination stage index
        distrib - the Markovian distribution governing this transition
        resetFun - function to apply when transitioning to reset queue lengths
      • printStageTable

         void printStageTable()

        Prints a formatted table showing all stages, their properties, and transitions. Displays stage names, types, associated networks, and transition rates.