Interface ILocalState

    • Method Detail

      • getLevel

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

        Returns:
        The identifier of the level for which this local state was defined.