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

add_base(std::tuple< String, size_t, bool > sig) -> Ground::AtomBase &	CppClingo::Control::BuildContext	inline
add_project(Ground::UTerm const &term, Ground::AtomBase &base) -> std::pair< Ground::UTerm, Ground::ProjectState * >	CppClingo::Control::BuildContext	inline
body() const -> Ground::ULitVec &	CppClingo::Control::BuildContext	inline
BuildContext(std::pmr::monotonic_buffer_resource &mbr, Logger &log, SymbolStore &store, TheorySigVec const &theory_directives, Ground::Bases &base, Input::Component const &comp, DefMap &def_map, Ground::Component &gcomp, VarMap &var_map, Ground::ULitVec &body, Ground::UStateVec &states, Ground::ScriptCallback *context)	CppClingo::Control::BuildContext	inline
context() const -> Ground::ScriptCallback *	CppClingo::Control::BuildContext	inline
def_map() const -> DefMap &	CppClingo::Control::BuildContext	inline
gcomp() const -> Ground::Component &	CppClingo::Control::BuildContext	inline
inc_priority() -> size_t	CppClingo::Control::BuildContext	inline
index(Input::LitSymbolic const &lit) const -> size_t	CppClingo::Control::BuildContext	inline
is_theory_directive(TheorySig sig) const -> bool	CppClingo::Control::BuildContext	inline
logger() const -> Logger &	CppClingo::Control::BuildContext	inline
mbr() const -> std::pmr::monotonic_buffer_resource &	CppClingo::Control::BuildContext	inline
next_index() -> size_t	CppClingo::Control::BuildContext	inline
simple_lit(Input::Lit const &lit) -> Ground::AtomSimple	CppClingo::Control::BuildContext	inline
simple_lit(Input::Term const &term) -> Ground::AtomSimple::value_type	CppClingo::Control::BuildContext	inline
single_pass(Input::Lit const &lit) const -> bool	CppClingo::Control::BuildContext	inline
single_pass_body() const -> bool	CppClingo::Control::BuildContext	inline
state(Args &&...args) -> T &	CppClingo::Control::BuildContext	inline
store() const -> SymbolStore &	CppClingo::Control::BuildContext	inline
type() const -> Input::ComponentType	CppClingo::Control::BuildContext	inline
var_map() const -> VarMap &	CppClingo::Control::BuildContext	inline
with_simple_lit(Input::Term const &term, F &&fun)	CppClingo::Control::BuildContext	inline
with_simple_lit(Input::Lit const &lit, F &&fun, bool expect_truth=false)	CppClingo::Control::BuildContext	inline