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