CIRCT 20.0.0git
Loading...
Searching...
No Matches
LTLOps.h
Go to the documentation of this file.
1//===- LTLOps.h - LTL dialect operations --------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef CIRCT_DIALECT_LTL_LTLOPS_H
10#define CIRCT_DIALECT_LTL_LTLOPS_H
11
12#include "mlir/Interfaces/InferTypeOpInterface.h"
13
16
17#define GET_OP_CLASSES
18#include "circt/Dialect/LTL/LTL.h.inc"
19
20#endif // CIRCT_DIALECT_LTL_LTLOPS_H