Clingo::TheoryAtom Member List

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

elements() const -> TheoryElementVector	Clingo::TheoryAtom	inline
guard() const -> std::optional< std::pair< std::string_view, TheoryTerm > >	Clingo::TheoryAtom	inline
hash() const noexcept -> size_t	Clingo::TheoryAtom	inline
literal() const -> ProgramLiteral	Clingo::TheoryAtom	inline
name() const -> TheoryTerm	Clingo::TheoryAtom	inline
operator<=>	Clingo::TheoryAtom	friend
operator==	Clingo::TheoryAtom	friend
TheoryAtom(clingo_theory_base_t const &base, size_t index)	Clingo::TheoryAtom	inlineexplicit
to_string() const -> std::string	Clingo::TheoryAtom	inline