CppClingo::Ground::MatchDisjunction Member List

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

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