Public methods
Method new()
Creates a new instance of this R6 class.
Usage
TerminatorRunTime$new()
Method is_terminated()
Is TRUE
iff the termination criterion is positive, and FALSE
otherwise.
Usage
TerminatorRunTime$is_terminated(archive)
Arguments
archive
(Archive).
Returns
logical(1)
.
Method clone()
The objects of this class are cloneable with this method.
Usage
TerminatorRunTime$clone(deep = FALSE)
Arguments
deep
Whether to make a deep clone.