Clingo::ProgramBackend Member List

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

assume(ProgramLiteralSpan literals) const	Clingo::ProgramBackend	inline
atom(std::optional< Symbol > symbol) const -> ProgramAtom	Clingo::ProgramBackend	inline
Clingo::TheoryBackend::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	inlineprivate
close()	Clingo::ProgramBackend	inline
edge(int node_u, int node_v, ProgramLiteralSpan condition) const	Clingo::ProgramBackend	inline
external(ProgramAtom atom, ExternalType type) const	Clingo::ProgramBackend	inline
heuristic(ProgramAtom atom, HeuristicType type, int bias, unsigned priority=0, ProgramLiteralSpan condition={}) const	Clingo::ProgramBackend	inline
minimize(WeightedLiteralSpan literals, Weight priority=0) const	Clingo::ProgramBackend	inline
ProgramBackend(clingo_backend_t *backend)	Clingo::ProgramBackend	inlineexplicit
project(ProgramAtomSpan atoms) const	Clingo::ProgramBackend	inline
rule(ProgramAtomSpan head, ProgramLiteralSpan body={}, bool choice=false) const	Clingo::ProgramBackend	inline
theory() const -> TheoryBackend const &	Clingo::ProgramBackend	inline
weight_rule(ProgramAtomSpan head, Weight lower, WeightedLiteralSpan body, bool choice=false) const	Clingo::ProgramBackend	inline