Class AbstractLocalState

    • Constructor Detail

      • AbstractLocalState

        protected AbstractLocalState​(LevelIdentifier level)
        Builds an initialized instance of this class.
        Parameters:
        level - The level for which this local state was defined.
    • Method Detail

      • getLevel

        public LevelIdentifier getLevel()
        Gets the level for which this local state was defined.

        It returns the value "l" within the expression φ+a(t, l), φ-a(t, l) (public and private local state of an agent), φ+ω(t, l) or φ-ω(t, l) (public and private local state of the environment).

        Specified by:
        getLevel in interface ILocalState
        Returns:
        The identifier of the level for which this local state was defined.