CppClingo::Ground::MatchCondLit Member List

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

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