CppClingo::Control::BackendHandle Member List

This is the complete list of members for CppClingo::Control::BackendHandle, including all inherited members.

add_atom(Symbol atom) -> prg_lit_t	CppClingo::Control::BackendHandle	inline
close()	CppClingo::Control::BackendHandle	inline
program() -> Clasp::Asp::LogicProgram &	CppClingo::Control::BackendHandle	inline
store() -> SymbolStore &	CppClingo::Control::BackendHandle	inline
theory() -> Output::TheoryData &	CppClingo::Control::BackendHandle	inline
~BackendHandle()=default	CppClingo::Control::BackendHandle	virtual