CppClingo::Control::CallbackLock Class Reference

This lock ensures that callbacks during solving are called in lock-step. More...

#include <solver.hh>

Public Member Functions
void	lock ()
	Acquire the lock.
void	unlock ()
	Release the lock.
void	enable (bool state)
	Enable or disable the lock.

Detailed Description

This lock ensures that callbacks during solving are called in lock-step.

This lock is required for scripting languages that do not support multi-threading - like for example, the Lua language.

---

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

• clingo/control/solver.hh