CppClingo::ProgramBackend Member List

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

assume(PrgLitSpan literals)	CppClingo::ProgramBackend	inline
bd_aggr(PrgLitSpan head, WeightedPrgLitSpan body, int32_t bound, bool choice)	CppClingo::ProgramBackend	inline
edge(prg_id_t u, prg_id_t v, PrgLitSpan body)	CppClingo::ProgramBackend	inline
end()	CppClingo::ProgramBackend	inline
external(prg_lit_t atom, ExternalType type)	CppClingo::ProgramBackend	inline
fact_lit() -> std::optional< prg_lit_t >	CppClingo::ProgramBackend	inline
heuristic(prg_lit_t atom, int32_t weight, int32_t prio, HeuristicType type, PrgLitSpan body)	CppClingo::ProgramBackend	inline
minimize(prg_weight_t priority, WeightedPrgLitSpan body)	CppClingo::ProgramBackend	inline
next_lit() -> prg_lit_t	CppClingo::ProgramBackend	inline
preamble(unsigned major, unsigned minor, unsigned revision, bool incremental)	CppClingo::ProgramBackend	inline
project(PrgLitSpan atoms)	CppClingo::ProgramBackend	inline
rule(PrgLitSpan head, PrgLitSpan body, bool choice)	CppClingo::ProgramBackend	inline
show_atom(Symbol sym, prg_lit_t lit)	CppClingo::ProgramBackend	inline
show_term(Symbol sym, PrgLitSpan body)	CppClingo::ProgramBackend	inline
show_term(Symbol sym, prg_id_t id)	CppClingo::ProgramBackend	inline
show_term(prg_id_t id, PrgLitSpan body)	CppClingo::ProgramBackend	inline
~ProgramBackend()=default	CppClingo::ProgramBackend	virtual