CppClingo::Input::RewriteContext Member List

This is the complete list of members for CppClingo::Input::RewriteContext, including all inherited members.

aux() -> AuxTermVec &	CppClingo::Input::RewriteContext	inline
gen() -> NameGen &	CppClingo::Input::RewriteContext	inline
Guard typedef	CppClingo::Input::RewriteContext
has_error() const -> bool	CppClingo::Input::RewriteContext	inline
has_params() const -> bool	CppClingo::Input::RewriteContext	inline
init(StringSet names, char const *prefix)	CppClingo::Input::RewriteContext	inline
is_const(String name) const -> std::optional< Symbol >	CppClingo::Input::RewriteContext	inline
is_param(String name) const -> std::optional< size_t >	CppClingo::Input::RewriteContext	inline
logger() const -> Logger &	CppClingo::Input::RewriteContext	inline
options() const -> RewriteOptions const &	CppClingo::Input::RewriteContext	inline
parser() const -> TheoryAtomParser const &	CppClingo::Input::RewriteContext	inline
pop()	CppClingo::Input::RewriteContext	inline
push() -> Guard	CppClingo::Input::RewriteContext	inline
RewriteContext(Logger &log, SymbolStore &store, RewriteOptions const &opts, TheoryAtomParser const &parser, ParamMap const &param_map, ConstMap const &const_map)	CppClingo::Input::RewriteContext	inline
RewriteContext(RewriteContext &&) noexcept=delete	CppClingo::Input::RewriteContext
set_error()	CppClingo::Input::RewriteContext	inline
store() const -> SymbolStore &	CppClingo::Input::RewriteContext	inline