Clingo::TheoryTerm Member List

This is the complete list of members for Clingo::TheoryTerm, including all inherited members.

arguments() const -> std::vector< TheoryTerm >	Clingo::TheoryTerm	inline
hash() const noexcept -> size_t	Clingo::TheoryTerm	inline
name() const -> std::string_view	Clingo::TheoryTerm	inline
number() const -> int	Clingo::TheoryTerm	inline
operator<=>	Clingo::TheoryTerm	friend
operator==	Clingo::TheoryTerm	friend
TheoryTerm(clingo_theory_base_t const &base, size_t index)	Clingo::TheoryTerm	inlineexplicit
to_string() const -> std::string	Clingo::TheoryTerm	inline
type() const -> TheoryTermType	Clingo::TheoryTerm	inline