CppClingo::Ground::StateHdAggr Member List

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

AtomMap typedef	CppClingo::Ground::StateHdAggr
base() -> BaseHdAggr &	CppClingo::Ground::StateHdAggr
ElementMap typedef	CppClingo::Ground::StateHdAggr
enqueue(Queue &queue)	CppClingo::Ground::StateHdAggr
fun() const -> AggregateFunction	CppClingo::Ground::StateHdAggr
global() const -> VariableVec const &	CppClingo::Ground::StateHdAggr
guards() const -> GuardVec const &	CppClingo::Ground::StateHdAggr
index() const -> size_t	CppClingo::Ground::StateHdAggr
indices() const -> std::vector< size_t >	CppClingo::Ground::StateHdAggr
insert_atom(EvalContext const &ctx) -> std::optional< std::pair< AtomMap::iterator, bool > >	CppClingo::Ground::StateHdAggr
insert_elem(EvalContext const &ctx, AtomMap::iterator it, StmHdAggrElem &elem)	CppClingo::Ground::StateHdAggr
output(Logger &log, SymbolStore &store, OutputStm &out) override	CppClingo::Ground::StateHdAggr	virtual
print(std::ostream &out, bool print_index)	CppClingo::Ground::StateHdAggr
propagate(OutputStm &out, Queue &queue)	CppClingo::Ground::StateHdAggr
single_pass_body() const -> bool	CppClingo::Ground::StateHdAggr
StateHdAggr(std::pmr::monotonic_buffer_resource &mbr, BaseVec bases, VariableVec global, GuardVec guards, AggregateFunction fun, size_t index, bool single_pass_body)	CppClingo::Ground::StateHdAggr	inline
symbols() -> SymbolVec &	CppClingo::Ground::StateHdAggr
~State()=default	CppClingo::Ground::State	virtual