CppClingo::Output::TheoryData Member List

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

atom(std::function< prg_lit_t()> const &atom, prg_id_t name, IdVec elems, std::optional< std::pair< prg_id_t, prg_id_t > > guard) -> prg_lit_t	CppClingo::Output::TheoryData
atom(std::function< prg_lit_t()> const &atom, Symbol name, IdVec elems, std::optional< std::pair< String, prg_id_t > > guard) -> prg_lit_t	CppClingo::Output::TheoryData
atom(std::function< prg_lit_t()> const &atom, Symbol name, PrgIdSpan elems, std::optional< std::pair< String, prg_id_t > > guard) -> prg_lit_t	CppClingo::Output::TheoryData	inline
elem(IdVec tuple, LitVec cond) -> prg_id_t	CppClingo::Output::TheoryData
elem(PrgIdSpan tuple, PrgLitSpan cond) -> prg_id_t	CppClingo::Output::TheoryData	inline
fun(prg_id_t name, IdVec args) -> prg_id_t	CppClingo::Output::TheoryData
fun(String name, IdVec args) -> prg_id_t	CppClingo::Output::TheoryData	inline
fun(String name, PrgIdSpan args) -> prg_id_t	CppClingo::Output::TheoryData	inline
IdVec typedef	CppClingo::Output::TheoryData
LitVec typedef	CppClingo::Output::TheoryData
num(prg_weight_t num) -> prg_id_t	CppClingo::Output::TheoryData
reset() noexcept	CppClingo::Output::TheoryData
str(String str) -> prg_id_t	CppClingo::Output::TheoryData
sym(Symbol sym) -> prg_id_t	CppClingo::Output::TheoryData
TheoryData(SymbolStore &store, UTheoryBackend backend)	CppClingo::Output::TheoryData	inline
tup(TheoryTermTupleType type, IdVec args) -> prg_id_t	CppClingo::Output::TheoryData
tup(TheoryTermTupleType type, PrgIdSpan args) -> prg_id_t	CppClingo::Output::TheoryData	inline