Clingo::AST::RewriteContext Member List

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

add_param(std::string_view name)	Clingo::AST::RewriteContext	inline
add_theory(Node const &stm)	Clingo::AST::RewriteContext	inline
c_cast	Clingo::AST::RewriteContext	friend
clear_params()	Clingo::AST::RewriteContext	inline
project_anonymous(bool value)	Clingo::AST::RewriteContext	inline
project_anonymous() -> bool	Clingo::AST::RewriteContext	inline
project_mode(ProjectionMode value)	Clingo::AST::RewriteContext	inline
project_mode() -> ProjectionMode	Clingo::AST::RewriteContext	inline
RewriteContext(Library const &lib)	Clingo::AST::RewriteContext	inlineexplicit