llzk::StructAnalysisType Concept Reference

Any type that is a subclass of StructAnalysis and provided a Context that matches ContextType. More...

#include <AnalysisWrappers.h>

Concept definition

template<typename Analysis, typename Result, typename Context>
concept llzk::StructAnalysisType =  requires {
  requires std::is_base_of<StructAnalysis<Result, Context>, Analysis>::value;
  requires ContextType<Context>;
}

Detailed Description

Any type that is a subclass of StructAnalysis and provided a Context that matches ContextType.

Definition at line 124 of file AnalysisWrappers.h.