Clingo::SolveHandle::sentinel Struct Reference

Sentinel indicating that models have been exhausted. More...

#include <solve.hh>

Detailed Description

Sentinel indicating that models have been exhausted.

---

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

• clingo/solve.hh