Class DisambiguationOperatorReturningLastConsistentState


  • public final class DisambiguationOperatorReturningLastConsistentState
    extends Object
    Defines the implementation of a disambiguation operator always returning the last consistent state of the level.
    Author:
    Yoann Kubera
    • Method Detail

      • disambiguation

        public static ConsistentPublicLocalDynamicState disambiguation​(TransitoryPublicLocalDynamicState transitoryDynamicState)
        Disambiguates a public local dynamic state, i.e. transforms a transitory state into a fully observable state.

        This operation can introduce biases since it provides an estimation of the real state of a level, using the information stored into a transitory dynamic state.

        Parameters:
        transitoryDynamicState - The transitory state for which a disambiguation is computed.
        Returns:
        the observable dynamic state corresponding to the disambiguation of the transitory dynamic state.