Clingo
|
This is the complete list of members for CppClingo::Ground::AtomHdAggr, including all inherited members.
accumulate(AggregateFunction fun, SymbolSpan tup, bool fact) | CppClingo::Ground::AtomHdAggr | |
add_elem(size_t idx) | CppClingo::Ground::AtomHdAggr | |
AtomHdAggr(AggregateFunction fun) | CppClingo::Ground::AtomHdAggr | inline |
Bound typedef | CppClingo::Ground::AtomHdAggr | |
dequeue() | CppClingo::Ground::AtomHdAggr | |
elems() const -> std::span< size_t const > | CppClingo::Ground::AtomHdAggr | |
enqueue() -> bool | CppClingo::Ground::AtomHdAggr | |
propagate(GuardVec const &guards, Symbol const *vals) -> bool | CppClingo::Ground::AtomHdAggr | |
todo() -> std::span< size_t const > | CppClingo::Ground::AtomHdAggr | |
uid() const -> std::optional< size_t > | CppClingo::Ground::AtomHdAggr | |
uid(size_t uid) | CppClingo::Ground::AtomHdAggr |