Class DisambiguationOperatorReturningLastConsistentState
- java.lang.Object
-
- fr.univ_artois.lgi2a.similar.microkernel.libs.disambiguation.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 Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static ConsistentPublicLocalDynamicState
disambiguation(TransitoryPublicLocalDynamicState transitoryDynamicState)
Disambiguates a public local dynamic state, i.e. transforms a transitory state into a fully observable state.
-
-
-
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.
-
-