Class AbstractEnvironment

    • Method Detail

      • getPublicLocalState

        public ILocalStateOfEnvironment getPublicLocalState​(LevelIdentifier level)
        Gets the public local state of the environment for a specific level.

        This method returns the value φω+(t, levelIdentifier) or φω+(]t,t′[, levelIdentifier) ∈Φω+, where the value of ]t,t′[ is defined by the context in which this method is called.

        Specified by:
        getPublicLocalState in interface IEnvironment
        Parameters:
        level - The level of the public local state of the environment.
        Returns:
        The public local state of the environment for a specific level.
      • getPublicLocalStates

        public Map<LevelIdentifier,​ILocalStateOfEnvironment> getPublicLocalStates()
        Gets the public local states of the environment.

        This method returns all the values φω+(t, l) or φω+(]t,t′[, l) ∈Φω+, where the value of ]t,t′[ is defined by the context in which this method is called.

        Usage and safety

        This method has to be used only in the simulation engine.

        Specified by:
        getPublicLocalStates in interface IEnvironment4Engine
        Returns:
        The public local states of the environment.
      • getPrivateLocalState

        public ILocalStateOfEnvironment getPrivateLocalState​(LevelIdentifier level)
        Gets the private local state of the environment for a specific level.

        This method returns the value φω-(t, levelIdentifier) or φω-(]t,t′[, levelIdentifier) ∈Φω-, where the value of ]t,t′[ is defined by the context in which this method is called.

        Specified by:
        getPrivateLocalState in interface IEnvironment
        Parameters:
        level - The level of the private local state of the environment.
        Returns:
        The private local state of the environment for a specific level.