CppClingo::Ground::MatchTheory Member List

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

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