Class EndCriterionNegation
- java.lang.Object
-
- fr.univ_artois.lgi2a.similar.extendedkernel.libs.endcriterion.EndCriterionNegation
-
- All Implemented Interfaces:
IEndCriterionModel
public class EndCriterionNegation extends Object implements IEndCriterionModel
An end criterion defined as the negation of another criterion.- Author:
- Yoann Kubera
-
-
Constructor Summary
Constructors Constructor Description EndCriterionNegation(IEndCriterionModel criterionModel)
Builds a criterion as the negation of another criterion.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isFinalTimeOrAfter(SimulationTimeStamp currentTime, ISimulationEngine engine)
Tells if a time stamp is greater or equal to the final time stamp.
-
-
-
Constructor Detail
-
EndCriterionNegation
public EndCriterionNegation(IEndCriterionModel criterionModel)
Builds a criterion as the negation of another criterion.- Parameters:
criterionModel
- The criterion being negated.
-
-
Method Detail
-
isFinalTimeOrAfter
public boolean isFinalTimeOrAfter(SimulationTimeStamp currentTime, ISimulationEngine engine)
Tells if a time stamp is greater or equal to the final time stamp.- Specified by:
isFinalTimeOrAfter
in interfaceIEndCriterionModel
- Parameters:
currentTime
- The last time the dynamic state of the simulation was in a partly consistent state.engine
- The simulation engine containing information about the currently running simulation.- Returns:
true
if the final time of the level was reached.
-
-