CppClingo::Ground::InstantiationContext Member List

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

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