CppClingo::Ground::BaseContext Class Reference

A context object. More...

#include <base.hh>

Public Member Functions
virtual	~BaseContext ()=default
	Destroy the context.

Detailed Description

A context object.

Currently, the interface is empty and one could use a std::any as well. The class exists for easy extensibility.

---

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

• clingo/ground/base.hh