LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
OpInterfaces.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Interface Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9namespace llzk {
10namespace constrain {
12namespace detail {
14 struct Concept {
16 };
17 template<typename ConcreteOp>
18 class Model : public Concept {
19 public:
21 Model() : Concept{} {}
22
23 };
24 template<typename ConcreteOp>
31 template<typename ConcreteModel, typename ConcreteOp>
32 class ExternalModel : public FallbackModel<ConcreteModel> {
33 public:
34 using ConcreteEntity = ConcreteOp;
35 };
36};template <typename ConcreteOp>
38
39} // namespace detail
40class ConstraintOpInterface : public ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits> {
41public:
42 using ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits>::OpInterface;
43 template <typename ConcreteOp>
44 struct Trait : public detail::ConstraintOpInterfaceTrait<ConcreteOp> {};
45};
46namespace detail {
47 template <typename ConcreteOp>
48 struct ConstraintOpInterfaceTrait : public ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits>::Trait<ConcreteOp> {
49 };
50}// namespace detail
51} // namespace constrain
52} // namespace llzk
53namespace llzk {
54namespace constrain {
55} // namespace constrain
56} // namespace llzk