CppClingo::Ground::TheoryTermTuple Class Reference

A tuple (set or list) theory term. More...

#include <theory_term.hh>

Inheritance diagram for CppClingo::Ground::TheoryTermTuple:

Public Member Functions
	TheoryTermTuple (TheoryTermTupleType type, UTheoryTermVec args)
	Construct a theory tuple/set/list.
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 tuple (set or list) theory term.

---

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

• clingo/ground/theory_term.hh