CppClingo::Ground::TheoryTerm Class Reference

The TheoryTerm interface. More...

#include <theory_term.hh>

Inheritance diagram for CppClingo::Ground::TheoryTerm:

Public Member Functions
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.

Friends
auto	operator== (TheoryTerm const &a, TheoryTerm const &b) -> bool
	Compare two terms.
auto	operator<=> (TheoryTerm const &a, TheoryTerm const &b) -> std::strong_ordering
	Compare two terms.
auto	operator<< (std::ostream &out, TheoryTerm const &term) -> std::ostream &
	Print the term.

Detailed Description

The TheoryTerm interface.

---

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

• clingo/ground/theory_term.hh