9 #ifndef CPROVER_UTIL_VALIDATE_HELPERS_H 10 #define CPROVER_UTIL_VALIDATE_HELPERS_H 12 #include <type_traits> 17 template <
typename Base,
typename T>
20 static_assert(std::is_base_of<Base, T>::value,
"");
28 template <
typename Base,
typename T>
31 static_assert(std::is_base_of<Base, T>::value,
"");
40 template <
typename Base,
typename T>
43 static_assert(std::is_base_of<Base, T>::value,
"");
48 T::validate_full(base, ns, vm);
static bool validate(const string_refinementt::infot &info)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void operator()(const Base &base, const namespacet &ns, const validation_modet vm)
void operator()(const Base &base, const validation_modet vm)
void operator()(const Base &base, const namespacet &ns, const validation_modet vm)