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)