CppClingo::Ground::MatchHdAggr Member List

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

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