CppClingo::OutputStm Member List

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

aggr_rule(std::optional< size_t > uid) -> size_t	CppClingo::OutputStm	inline
bd_aggr(size_t uid, AggregateFunction fun, BdElemSpan elems, GuardSpan guards)	CppClingo::OutputStm	inline
BdElem typedef	CppClingo::OutputStm
BdElemSpan typedef	CppClingo::OutputStm
body() -> OutputLit &	CppClingo::OutputStm	inline
classical_negation(size_t atom_a, size_t atom_b)	CppClingo::OutputStm	inline
cond() -> OutputLit &	CppClingo::OutputStm	inline
cond_id() -> size_t	CppClingo::OutputStm	inline
cond_lit(size_t uid, CondLitSpan elems)	CppClingo::OutputStm	inline
CondLit typedef	CppClingo::OutputStm
CondLitSpan typedef	CppClingo::OutputStm
DisjElem typedef	CppClingo::OutputStm
DisjElemSpan typedef	CppClingo::OutputStm
disjunction(size_t uid, DisjElemSpan elems)	CppClingo::OutputStm	inline
disjunctive_rule(std::optional< size_t > uid) -> size_t	CppClingo::OutputStm	inline
edge(Symbol src, Symbol dst)	CppClingo::OutputStm	inline
end_step()	CppClingo::OutputStm	inline
external(Symbol atom, size_t uid, ExternalType type)	CppClingo::OutputStm	inline
fact(Symbol sym, size_t uid)	CppClingo::OutputStm	inline
flush()	CppClingo::OutputStm	inline
Guard typedef	CppClingo::OutputStm
GuardSpan typedef	CppClingo::OutputStm
hd_aggr(size_t uid, AggregateFunction fun, HdElemSpan elems, GuardSpan guards)	CppClingo::OutputStm	inline
HdElem typedef	CppClingo::OutputStm
HdElemSpan typedef	CppClingo::OutputStm
heuristic(Symbol atom, size_t uid, Number const &weight, Number const *prio, HeuristicType type)	CppClingo::OutputStm	inline
mark(SymbolCollector &gc)	CppClingo::OutputStm	inline
project(Symbol atom, size_t uid)	CppClingo::OutputStm	inline
project_atom(size_t p_atom, size_t atom)	CppClingo::OutputStm	inline
rule(std::optional< std::tuple< Symbol, size_t, bool > > head)	CppClingo::OutputStm	inline
show_atom(Symbol atom, size_t uid)	CppClingo::OutputStm	inline
show_term(Symbol term)	CppClingo::OutputStm	inline
simplify(std::function< TruthValue(prg_lit_t)> const &pred)	CppClingo::OutputStm	inline
theory() -> OutputTheory &	CppClingo::OutputStm	inline
theory_rule(std::optional< size_t > uid) -> size_t	CppClingo::OutputStm	inline
uid(bool fact=false) -> size_t	CppClingo::OutputStm	inline
weak_constraint(Number const &weight, Number const *prio, SymbolSpan terms)	CppClingo::OutputStm	inline
~OutputStm()=default	CppClingo::OutputStm	virtual