CppClingo::Ground::TermFunction Member List

This is the complete list of members for CppClingo::Ground::TermFunction, including all inherited members.

copy() const -> UTerm	CppClingo::Ground::Term	inline
eval(EvalContext const &ctx) const -> std::optional< Symbol >	CppClingo::Ground::Term	inline
hash() const -> size_t	CppClingo::Ground::Term	inline
Key typedef	CppClingo::Ground::Term
match(EvalContext const &ctx, Symbol sym) const -> bool	CppClingo::Ground::Term	inline
rename(SymbolStore &store, RenameMode mode, String const *name, size_t *vars) const -> UTerm	CppClingo::Ground::Term	inline
rename(Util::unordered_map< size_t, size_t > &vars) const -> UTerm	CppClingo::Ground::Term	inline
score(double size, std::vector< bool > const &bound) const -> double	CppClingo::Ground::Term	inline
signature(VariableSet const &bound, VariableSet const &bind) const -> std::pair< UTerm, VariableVec >	CppClingo::Ground::Term	inline
TermFunction(String name, UTermVec args)	CppClingo::Ground::TermFunction	inline
vars(VariableSet &vars, bool provide=false) const	CppClingo::Ground::Term	inline
vars() const -> VariableSet	CppClingo::Ground::Term	inline
~Term()=default	CppClingo::Ground::Term	virtual