Clingo::TheoryAssignment::sentinel Struct Reference

Sentinel type for the end of the theory assignment. More...

#include <theory.hh>

Detailed Description

Sentinel type for the end of the theory assignment.

---

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

• clingo/theory.hh