CppClingo::Ground::TermSymbol Class Reference

A term capturing a symbol. More...

#include <term.hh>

Inheritance diagram for CppClingo::Ground::TermSymbol:

Public Member Functions
	TermSymbol (Symbol sym)
	Construct the term.
auto	symbol () const -> Symbol const &
	Get the symbol of the term.
Public Member Functions inherited from CppClingo::Ground::Term
virtual	~Term ()=default
	Destructor.
auto	score (double size, std::vector< bool > const &bound) const -> double
	Compute an estimate how often the term can match size symbols given the bound variables.
auto	match (EvalContext const &ctx, Symbol sym) const -> bool
	Match a term with the given symbol.
auto	eval (EvalContext const &ctx) const -> std::optional< Symbol >
	Evaluates a term w.r.t.
auto	rename (SymbolStore &store, RenameMode mode, String const *name, size_t *vars) const -> UTerm
	Create a copy of the term renaming/replacing parts of it.
auto	rename (Util::unordered_map< size_t, size_t > &vars) const -> UTerm
	Create a copy of the term renaming variables in order of occurrence.
void	vars (VariableSet &vars, bool provide=false) const
	Collect all variables in the term.
auto	copy () const -> UTerm
	Create a copy of the term.
auto	hash () const -> size_t
	Compute a hash for the term.
auto	signature (VariableSet const &bound, VariableSet const &bind) const -> std::pair< UTerm, VariableVec >
	Compute a signature of the term.
auto	vars () const -> VariableSet
	Collect all variables in the term.

Additional Inherited Members
Public Types inherited from CppClingo::Ground::Term
using	Key = Symbol
	Key for the concept only matcher interface.

Detailed Description

A term capturing a symbol.

---

The documentation for this class was generated from the following file:

• clingo/ground/term.hh