This is the complete list of members for Clingo::Theory, including all inherited members.

assignment(uint32_t thread_id) const -> TheoryAssignment	Clingo::Theory	inline
c_cast	Clingo::Theory	friend
model(Model model) const	Clingo::Theory	inline
operator=(Theory &&other) -> Theory &=delete	Clingo::Theory
prepare(Control const &ctl) const	Clingo::Theory	inline
register_options(Options const &opts) const	Clingo::Theory	inline
register_theory(Control const &ctl) const	Clingo::Theory	inline
rewrite(AST::Node const &stm, F fun) const	Clingo::Theory	inline
rewrite(Library const &lib, Control const &ctl, std::string_view str) const	Clingo::Theory	inline
rewrite(Library const &lib, Control const &ctl, StringSpan files) const	Clingo::Theory	inline
stats(Stats step, Stats accu) const	Clingo::Theory	inline
Theory(Library const &lib, bool(create)(clingo_lib_t lib, clingo_theory_t *theory))	Clingo::Theory	inline
Theory(Theory &&other)=delete	Clingo::Theory
validate_options() const	Clingo::Theory	inline
~Theory()	Clingo::Theory	inline