CppClingo::Ground::StateAssignAggr Member List

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

atom_index(AtomMap::iterator it) -> size_t	CppClingo::Ground::StateAssignAggr
AtomMap typedef	CppClingo::Ground::StateAssignAggr
base() -> BaseAssignAggr &	CppClingo::Ground::StateAssignAggr
domain_elems() const -> bool	CppClingo::Ground::StateAssignAggr
ElementMap typedef	CppClingo::Ground::StateAssignAggr
fun() const -> AggregateFunction	CppClingo::Ground::StateAssignAggr
global() const -> VariableVec const &	CppClingo::Ground::StateAssignAggr
index() const -> size_t	CppClingo::Ground::StateAssignAggr
insert_atom(EvalContext const &ctx) -> std::pair< AtomMap::iterator, bool >	CppClingo::Ground::StateAssignAggr
insert_elem(EvalContext const &ctx, AtomMap::iterator it, StmAssignAggrElem &elem)	CppClingo::Ground::StateAssignAggr
output(Logger &log, SymbolStore &store, OutputStm &out) override	CppClingo::Ground::StateAssignAggr	virtual
print(std::ostream &out, bool print_index)	CppClingo::Ground::StateAssignAggr
propagate(SymbolStore &store) -> bool	CppClingo::Ground::StateAssignAggr
single_pass_elems() const -> bool	CppClingo::Ground::StateAssignAggr
StateAssignAggr(std::pmr::monotonic_buffer_resource &mbr, VariableVec global, UTerm term, AggregateFunction fun, size_t index, bool domain_elems, bool single_pass_elems)	CppClingo::Ground::StateAssignAggr	inline
symbols() -> SymbolVec &	CppClingo::Ground::StateAssignAggr
term() const -> Term const &	CppClingo::Ground::StateAssignAggr
~State()=default	CppClingo::Ground::State	virtual