llzk::ContextType Concept Reference

#include <AnalysisWrappers.h>

Concept definition

template<typename Context>
concept llzk::ContextType =  requires(const Context &a, const Context &b) {
  { a == b } -> std::convertible_to<bool>;
  { std::hash<Context> {}(a) } -> std::convertible_to<std::size_t>;
}

Detailed Description

Definition at line 112 of file AnalysisWrappers.h.