CppClingo::Ground::MatchBdAggr Member List

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

eval(EvalContext const &ctx) const -> std::optional< Symbol const * >	CppClingo::Ground::MatchBdAggr
Key typedef	CppClingo::Ground::MatchBdAggr
match(EvalContext const &ctx, Symbol const *sym) const -> bool	CppClingo::Ground::MatchBdAggr
MatchBdAggr(StateBdAggr &state)	CppClingo::Ground::MatchBdAggr	inline
operator<<	CppClingo::Ground::MatchBdAggr	friend
signature(VariableSet const &bound, VariableSet const &bind) const -> VariableVec	CppClingo::Ground::MatchBdAggr
state() const -> StateBdAggr &	CppClingo::Ground::MatchBdAggr
vars() const -> VariableSet	CppClingo::Ground::MatchBdAggr