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
9
namespace
llzk
{
10
namespace
constrain
{
11
class
ConstraintOpInterface
;
12
namespace
detail
{
13
struct
ConstraintOpInterfaceInterfaceTraits
{
14
struct
Concept
{
16
};
17
template
<
typename
ConcreteOp>
18
class
Model
:
public
Concept
{
19
public
:
20
using
Interface
=
::llzk::constrain::ConstraintOpInterface
;
21
Model
() :
Concept
{} {}
22
23
};
24
template
<
typename
ConcreteOp>
25
class
FallbackModel
:
public
Concept
{
26
public
:
27
using
Interface
=
::llzk::constrain::ConstraintOpInterface
;
28
FallbackModel
() :
Concept
{} {}
29
30
};
31
template
<
typename
ConcreteModel,
typename
ConcreteOp>
32
class
ExternalModel
:
public
FallbackModel
<ConcreteModel> {
33
public
:
34
using
ConcreteEntity
= ConcreteOp;
35
};
36
};
template
<
typename
ConcreteOp>
37
struct
ConstraintOpInterfaceTrait
;
38
39
}
// namespace detail
40
class
ConstraintOpInterface
:
public
::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits> {
41
public
:
42
using ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits>::OpInterface;
43
template
<
typename
ConcreteOp>
44
struct
Trait
:
public
detail::ConstraintOpInterfaceTrait
<ConcreteOp> {};
45
};
46
namespace
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
53
namespace
llzk
{
54
namespace
constrain {
55
}
// namespace constrain
56
}
// namespace llzk
llzk::constrain::ConstraintOpInterface
Definition
OpInterfaces.h.inc:40
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel
Definition
OpInterfaces.h.inc:32
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel::ConcreteEntity
ConcreteOp ConcreteEntity
Definition
OpInterfaces.h.inc:34
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel::Interface
::llzk::constrain::ConstraintOpInterface Interface
Definition
OpInterfaces.h.inc:27
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel::FallbackModel
FallbackModel()
Definition
OpInterfaces.h.inc:28
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model::Model
Model()
Definition
OpInterfaces.h.inc:21
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model::Interface
::llzk::constrain::ConstraintOpInterface Interface
Definition
OpInterfaces.h.inc:20
llzk::constrain::detail
Definition
OpInterfaces.h.inc:12
llzk::constrain
Definition
Ops.cpp:23
llzk
Definition
CallGraph.cpp:29
llzk::constrain::ConstraintOpInterface::Trait
Definition
OpInterfaces.h.inc:44
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Concept
Definition
OpInterfaces.h.inc:14
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits
Definition
OpInterfaces.h.inc:13
llzk::constrain::detail::ConstraintOpInterfaceTrait
Definition
OpInterfaces.h.inc:48
build
include
llzk
Dialect
Constrain
IR
OpInterfaces.h.inc
Generated by
1.13.2
Copyright 2025 Veridise Inc. under the Apache License v2.0.