addTerminator
Adds to the simulation a predicate that determines whether a simulation should be terminated.
Parameters
terminator
the termination predicate.
Adds to the simulation a predicate that determines whether a simulation should be terminated.
the termination predicate.