|
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 |