CppClingo::Ground::StmAssignAggrElem Member List

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

body() const -> ULitVec const &	CppClingo::Ground::Stm	inline
important() const -> VariableSet	CppClingo::Ground::Stm	inline
init(size_t gen)	CppClingo::Ground::InstanceCallback	inline
is_important(size_t index) const -> bool	CppClingo::Ground::InstanceCallback	inline
operator=(StmAssignAggrElem const &other) -> StmAssignAggrElem &=default	CppClingo::Ground::StmAssignAggrElem
operator=(StmAssignAggrElem &&other) noexcept -> StmAssignAggrElem &=default	CppClingo::Ground::StmAssignAggrElem
print_head(std::ostream &out) const	CppClingo::Ground::InstanceCallback	inline
priority() const -> size_t	CppClingo::Ground::InstanceCallback	inline
propagate(SymbolStore &store, OutputStm &out, Queue &queue)	CppClingo::Ground::InstanceCallback	inline
report(EvalContext const &ctx) -> bool	CppClingo::Ground::InstanceCallback	inline
StateAssignAggr (defined in CppClingo::Ground::StmAssignAggrElem)	CppClingo::Ground::StmAssignAggrElem	friend
StateAssignAggr::ElementKey (defined in CppClingo::Ground::StmAssignAggrElem)	CppClingo::Ground::StmAssignAggrElem	friend
StmAssignAggrElem(StateAssignAggr &state, Location loc_weight, UTermVec tuple, ULitVec body, size_t num_cond, size_t priority)	CppClingo::Ground::StmAssignAggrElem	inline
StmAssignAggrElem(StmAssignAggrElem const &other)	CppClingo::Ground::StmAssignAggrElem	inline
StmAssignAggrElem(StmAssignAggrElem &&other) noexcept=default	CppClingo::Ground::StmAssignAggrElem
~InstanceCallback()=default	CppClingo::Ground::InstanceCallback	virtual