CppClingo::Ground::AtomBdAggr Member List

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

accumulate(AggregateFunction fun, SymbolSpan tup, bool fact)	CppClingo::Ground::AtomBdAggr
add_elem(size_t idx)	CppClingo::Ground::AtomBdAggr
AtomBdAggr(AggregateFunction fun)	CppClingo::Ground::AtomBdAggr	inline
Bound typedef	CppClingo::Ground::AtomBdAggr
dequeue()	CppClingo::Ground::AtomBdAggr
derived_idx() const -> size_t	CppClingo::Ground::AtomBdAggr
derived_idx(size_t idx)	CppClingo::Ground::AtomBdAggr
elems() const -> std::span< size_t const >	CppClingo::Ground::AtomBdAggr
enqueue() -> bool	CppClingo::Ground::AtomBdAggr
propagate(GuardVec const &guards, Symbol const *vals) -> std::pair< bool, bool >	CppClingo::Ground::AtomBdAggr
state() const -> AtomBdAggrState	CppClingo::Ground::AtomBdAggr
state(AtomBdAggrState state)	CppClingo::Ground::AtomBdAggr
todo() -> std::span< size_t const >	CppClingo::Ground::AtomBdAggr
uid() const -> std::optional< size_t >	CppClingo::Ground::AtomBdAggr
uid(size_t uid)	CppClingo::Ground::AtomBdAggr