CppClingo::Ground::EvalContext Class Reference

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

#include <instantiator.hh>

Inheritance diagram for CppClingo::Ground::EvalContext:

Public Member Functions
	EvalContext (Logger &log, SymbolStore &store, OutputStm &out, Assignment &ass)
	Construct an instantiation state.
auto	ass () const -> Assignment &
	Get the assignment.
Public Member Functions inherited from CppClingo::Ground::InstantiationContext
	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