CppClingo::Input::TheoryAtomDefinition Member List

This is the complete list of members for CppClingo::Input::TheoryAtomDefinition, including all inherited members.

arity() const -> int	CppClingo::Input::TheoryAtomDefinition	inline
attributes()	CppClingo::Input::TheoryAtomDefinition	inlinestatic
compare(Base const &other) const -> std::strong_ordering	CppClingo::Util::Record::Base< Rec >	inline
equal(Base const &other) const -> bool	CppClingo::Util::Record::Base< Rec >	inline
get_value() const -> decltype(auto)	CppClingo::Util::Record::Base< Rec >	inline
hash() const -> size_t	CppClingo::Util::Record::Base< Rec >	inline
loc() const -> Location const &	CppClingo::Input::TheoryAtomDefinition	inline
name() const -> String const &	CppClingo::Input::TheoryAtomDefinition	inline
rewrite(Args &&...args) const	CppClingo::Util::Record::Base< Rec >	inline
rhs() const -> std::optional< TheoryRGuardDefinition > const &	CppClingo::Input::TheoryAtomDefinition	inline
term() const -> String const &	CppClingo::Input::TheoryAtomDefinition	inline
TheoryAtomDefinition(Location loc, String name, int arity, String term, std::optional< TheoryRGuardDefinition > rhs, TheoryAtomType type)	CppClingo::Input::TheoryAtomDefinition	inlineexplicit
type() const -> TheoryAtomType	CppClingo::Input::TheoryAtomDefinition	inline
update(Args &&...args) const	CppClingo::Util::Record::Base< Rec >	inline