CppClingo::Ground::EvalContext Member List

This is the complete list of members for CppClingo::Ground::EvalContext, including all inherited members.

ass() const -> Assignment &	CppClingo::Ground::EvalContext	inline
EvalContext(Logger &log, SymbolStore &store, OutputStm &out, Assignment &ass)	CppClingo::Ground::EvalContext	inline
InstantiationContext(Logger &log, SymbolStore &store, OutputStm &out)	CppClingo::Ground::InstantiationContext	inline
log() const -> Logger &	CppClingo::Ground::InstantiationContext	inline
out() const -> OutputStm &	CppClingo::Ground::InstantiationContext	inline
store() const -> SymbolStore &	CppClingo::Ground::InstantiationContext	inline