CppClingo::OutputTheory Member List

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

atom(AtomType type, size_t atom_uid, Symbol name, IndexSpan elems, OptGuard guard=std::nullopt)	CppClingo::OutputTheory	inline
AtomType enum name	CppClingo::OutputTheory
elem(IndexSpan tuple, size_t cond) -> size_t	CppClingo::OutputTheory	inline
fun(String name, IndexSpan args) -> size_t	CppClingo::OutputTheory	inline
num(Number const &num) -> size_t	CppClingo::OutputTheory	inline
OptGuard typedef	CppClingo::OutputTheory
str(String val) -> size_t	CppClingo::OutputTheory	inline
sym(Symbol sym) -> size_t	CppClingo::OutputTheory	inline
tup(TheoryTermTupleType type, IndexSpan args) -> size_t	CppClingo::OutputTheory	inline
~OutputTheory()=default	CppClingo::OutputTheory	virtual