Package fr.univ_artois.lgi2a.similar.microkernel.environment

Interface ILocalStateOfEnvironment

  • All Superinterfaces:
    ILocalState
    All Known Implementing Classes:
    AbstractLocalStateOfEnvironment, EmptyLocalStateOfEnvironment
    public interface ILocalStateOfEnvironment
extends ILocalState
    Models either a public or a private local state of the environment.

    Correspondence with theory

    An instance of this interface models one of the following elements:

    • The public local state of the environment: φ+ω(t, l) ∈ Φ+ω
    • The private local state of the environment: φ-ω(t, l) ∈ Φ-ω
    Author:
    Yoann Kubera

    • Method Summary