CppClingo::TheoryBackend Member List

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

atom(prg_lit_t atom_or_zero, prg_id_t name, PrgIdSpan elems, std::optional< std::pair< prg_id_t, prg_id_t > > guard)	CppClingo::TheoryBackend	inline
elem(prg_id_t id, PrgIdSpan terms, PrgLitSpan cond)	CppClingo::TheoryBackend	inline
end()	CppClingo::TheoryBackend	inline
fun(prg_id_t id, prg_id_t name, PrgIdSpan args)	CppClingo::TheoryBackend	inline
num(prg_id_t id, prg_weight_t num)	CppClingo::TheoryBackend	inline
str(prg_id_t id, std::string_view str)	CppClingo::TheoryBackend	inline
tup(prg_id_t id, TheoryTermTupleType type, PrgIdSpan args)	CppClingo::TheoryBackend	inline
~TheoryBackend()=default	CppClingo::TheoryBackend	virtual