CppClingo::Ground::TheoryTermSymbol Class Reference

A symbolic theory term. More...

#include <theory_term.hh>

Inheritance diagram for CppClingo::Ground::TheoryTermSymbol:

Public Member Functions
	TheoryTermSymbol (Symbol sym)
	Construct a theory symbol.
Public Member Functions inherited from CppClingo::Ground::TheoryTerm
virtual	~TheoryTerm ()=default
	Destructor.
void	vars (VariableSet &vars) const
	Collect all variables in the term.
auto	copy () const -> UTheoryTerm
	Create a copy of the term.
auto	hash () const -> size_t
	Compute a hash for the term.
auto	vars () const -> VariableSet
	Collect all variables in the term.
auto	output (EvalContext const &ctx, OutputTheory &out) const -> size_t
	Output the term.

Detailed Description

A symbolic theory term.

---

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

• clingo/ground/theory_term.hh