Clingo::TheoryBackend Member List

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

atom(std::optional< ProgramAtom > atom, Symbol const &name, ProgramIdSpan elements={}, std::optional< std::pair< std::string_view, ProgramId > > const &guard=std::nullopt) const -> ProgramAtom	Clingo::TheoryBackend	inline
element(ProgramIdSpan tuple, ProgramLiteralSpan condition) const -> ProgramId	Clingo::TheoryBackend	inline
function(std::string_view name, ProgramIdSpan elements) const -> ProgramId	Clingo::TheoryBackend	inline
number(int number) const -> ProgramId	Clingo::TheoryBackend	inline
ProgramBackend (defined in Clingo::TheoryBackend)	Clingo::TheoryBackend	friend
sequence(TheorySequenceType type, ProgramIdSpan elements) const -> ProgramId	Clingo::TheoryBackend	inline
string(std::string_view string) const -> ProgramId	Clingo::TheoryBackend	inline
symbol(Symbol const &symbol) const -> ProgramId	Clingo::TheoryBackend	inline