CppClingo::Ground::InstantiationContext Class Reference

Context object to capture state used during instantiation. More...

#include <instantiator.hh>

Inheritance diagram for CppClingo::Ground::InstantiationContext:

Public Member Functions
	InstantiationContext (Logger &log, SymbolStore &store, OutputStm &out)
	Construct an instantiation state.
auto	log () const -> Logger &
	Get the logger.
auto	store () const -> SymbolStore &
	Get the store.
auto	out () const -> OutputStm &
	Get the output.

Detailed Description

Context object to capture state used during instantiation.

---

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

• clingo/ground/instantiator.hh