Go to the documentation of this file.
9 #ifndef CIRCT_DIALECT_VERIF_VERIFOPS_H
10 #define CIRCT_DIALECT_VERIF_VERIFOPS_H
17 #include "mlir/Bytecode/BytecodeOpInterface.h"
18 #include "mlir/Interfaces/InferTypeOpInterface.h"
20 #define GET_OP_CLASSES
21 #include "circt/Dialect/Verif/Verif.h.inc"