Step Count
Terminates the simulation after a given number of steps. If the simulation is uninitialized (thus, the environment returns null when asked for the simulation), this predicate always returns false.
Parameters
last Step
the last step.
Functions
Link copied to clipboard
Builds a predicate that is true if both this
and the other predicate are true.