Clingo
|
This is the complete list of members for CppClingo::Ground::AtomAssignAggr, including all inherited members.
accumulate(AggregateFunction fun, SymbolSpan tup, bool fact) | CppClingo::Ground::AtomAssignAggr | |
add_elem(size_t idx) | CppClingo::Ground::AtomAssignAggr | |
AtomAssignAggr(AggregateFunction fun) | CppClingo::Ground::AtomAssignAggr | inline |
dequeue() | CppClingo::Ground::AtomAssignAggr | |
elems() const -> std::span< size_t const > | CppClingo::Ground::AtomAssignAggr | |
enqueue() -> bool | CppClingo::Ground::AtomAssignAggr | |
is_fact() const | CppClingo::Ground::AtomAssignAggr | |
todo() -> std::span< size_t const > | CppClingo::Ground::AtomAssignAggr | |
todo_values() -> std::variant< NumberSpan, SymbolSpan > | CppClingo::Ground::AtomAssignAggr | |
Values typedef | CppClingo::Ground::AtomAssignAggr |