CppClingo::Ground::IsEval Concept Reference

Concept for evaluable expressions. More...

#include <matcher.hh>

Concept definition

template<class Eval>
concept CppClingo::Ground::IsEval =  requires(Eval const &m) { m.eval(std::declval<EvalContext const &>()); }

Detailed Description

Concept for evaluable expressions.