Constructors

libsemigroups::Runner::Runner()

Default constructor.

Returns a runner that is not started, not finished, not dead, not timed out, will run FOREVER if not instructed otherwise, that last reported at the time of construction, and that will report every std::chrono::seconds(1) if reporting is enabled.

Parameters

(None)

inline libsemigroups::Runner::Runner(Runner const &other)

Copy constructor.

Returns a runner that is a copy of other. The state of the new runner is the same as other, except that the function passed as an argument to run_until (if any) is not copied.

Parameters

other – the Runner to copy.

inline libsemigroups::Runner::Runner(Runner &&other)

Move constructor.

Returns a runner that is initialised from other. The state of the new runner is the same as copy, except that the function passed as an argument to run_until (if any) is not copied.

Parameters

other – the Runner to move from.