llzk::StructAnalysisType Concept Reference

Any type that is a subclass of StructAnalysis. 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; }

Detailed Description

Any type that is a subclass of StructAnalysis.

Definition at line 109 of file AnalysisWrappers.h.