Class EmptyLocalStateOfEnvironment

    • Constructor Detail

      • EmptyLocalStateOfEnvironment

        public EmptyLocalStateOfEnvironment​(LevelIdentifier levelIdentifier)
        Builds an empty environment public or private local state for a specific level.
        Parameters:
        levelIdentifier - The identifier of the level where this public local state is defined.
        Throws:
        IllegalArgumentException - If an argument is null.