CppClingo::Ground::StateBdAggr Member List

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

AtomMap typedef	CppClingo::Ground::StateBdAggr
base() -> BaseBdAggr &	CppClingo::Ground::StateBdAggr
domain() const -> bool	CppClingo::Ground::StateBdAggr
ElementMap typedef	CppClingo::Ground::StateBdAggr
fun() const -> AggregateFunction	CppClingo::Ground::StateBdAggr
global() const -> VariableVec const &	CppClingo::Ground::StateBdAggr
guards() const -> GuardVec const &	CppClingo::Ground::StateBdAggr
index() const -> size_t	CppClingo::Ground::StateBdAggr
insert_atom(EvalContext const &ctx) -> std::optional< std::pair< AtomMap::iterator, bool > >	CppClingo::Ground::StateBdAggr
insert_atom(Symbol const *tuple) -> AtomMap::iterator	CppClingo::Ground::StateBdAggr
insert_elem(EvalContext const &ctx, AtomMap::iterator it, StmBdAggrElem &elem)	CppClingo::Ground::StateBdAggr
monotone() const -> bool	CppClingo::Ground::StateBdAggr
output(Logger &log, SymbolStore &store, OutputStm &out) override	CppClingo::Ground::StateBdAggr	virtual
print(std::ostream &out, bool print_index)	CppClingo::Ground::StateBdAggr
propagate() -> bool	CppClingo::Ground::StateBdAggr
single_pass_elems() const -> bool	CppClingo::Ground::StateBdAggr
StateBdAggr(std::pmr::monotonic_buffer_resource &mbr, VariableVec global, GuardVec guards, AggregateFunction fun, size_t index, bool domain, bool monotone, bool single_pass_elems)	CppClingo::Ground::StateBdAggr	inline
symbols() -> SymbolVec &	CppClingo::Ground::StateBdAggr
~State()=default	CppClingo::Ground::State	virtual