CppClingo::Util::StopFlag Class Reference

Helper class to signal stopping of grounding. More...

#include <sync.hh>

Public Member Functions
	StopFlag () noexcept=default
	Construct a false stop flag.
	StopFlag (StopFlag const &other)=delete
	Prevent copying.
	StopFlag (StopFlag &&other) noexcept=delete
	Prevent moving.
auto	operator= (StopFlag const &other) -> StopFlag &=delete
	Prevent copying.
auto	operator= (StopFlag &&other) noexcept -> StopFlag &=delete
	Prevent moving.
void	request_stop () noexcept
	Set the stop flag.
auto	stop_requested () noexcept -> bool
	Test whether stopping has been requested.

Detailed Description

Helper class to signal stopping of grounding.

Ideally, std::stop_token would be used instead. Unfortunately, clang 18 and 19 do not support it yet.

---

The documentation for this class was generated from the following file:

• clingo/util/sync.hh