CppClingo::Ground::TheoryTermFunction Class Reference

A function theory term. More...

#include <theory_term.hh>

Inheritance diagram for CppClingo::Ground::TheoryTermFunction:

Public Member Functions
	TheoryTermFunction (String name, UTheoryTermVec args)
	Construct a theory function.
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 function theory term.

---

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

• clingo/ground/theory_term.hh