LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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::constrain
{
10
12
class
ConstraintOpInterface
;
13
14
}
// namespace llzk::constrain
15
namespace
llzk::constrain
{
16
18
namespace
detail
{
19
struct
ConstraintOpInterfaceInterfaceTraits
{
20
struct
Concept
{
22
};
23
template
<
typename
ConcreteOp>
24
class
Model
:
public
Concept
{
25
public
:
26
using
Interface
=
::llzk::constrain::ConstraintOpInterface
;
27
Model
() :
Concept
{} {}
28
29
};
30
template
<
typename
ConcreteOp>
31
class
FallbackModel
:
public
Concept
{
32
public
:
33
using
Interface
=
::llzk::constrain::ConstraintOpInterface
;
34
FallbackModel
() :
Concept
{} {}
35
36
};
37
template
<
typename
ConcreteModel,
typename
ConcreteOp>
38
class
ExternalModel
:
public
FallbackModel
<ConcreteModel> {
39
public
:
40
using
ConcreteEntity
= ConcreteOp;
41
};
42
};
43
template
<
typename
ConcreteOp>
44
struct
ConstraintOpInterfaceTrait
;
45
46
}
// namespace detail
47
class
ConstraintOpInterface
:
public
::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits> {
48
public
:
49
using ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits>::OpInterface;
50
template
<
typename
ConcreteOp>
51
struct
Trait
:
public
detail::ConstraintOpInterfaceTrait
<ConcreteOp> {};
52
};
53
54
}
// namespace llzk::constrain
55
namespace
llzk::constrain::detail
{
56
57
template
<
typename
ConcreteOp>
58
struct
ConstraintOpInterfaceTrait
:
public
::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits>::Trait<ConcreteOp> {
59
};
60
61
}
// namespace llzk::constrain::detail
62
namespace
llzk::constrain
{
63
64
65
}
// namespace llzk::constrain
llzk::constrain::ConstraintOpInterface
Definition
OpInterfaces.h.inc:47
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel
Definition
OpInterfaces.h.inc:38
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel::ConcreteEntity
ConcreteOp ConcreteEntity
Definition
OpInterfaces.h.inc:40
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel::Interface
::llzk::constrain::ConstraintOpInterface Interface
Definition
OpInterfaces.h.inc:33
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel::FallbackModel
FallbackModel()
Definition
OpInterfaces.h.inc:34
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model::Model
Model()
Definition
OpInterfaces.h.inc:27
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model::Interface
::llzk::constrain::ConstraintOpInterface Interface
Definition
OpInterfaces.h.inc:26
llzk::constrain::detail
Common interface for operations that produce a constraint.
Definition
OpInterfaces.h.inc:18
llzk::constrain
Definition
Ops.cpp:25
llzk::constrain::ConstraintOpInterface::Trait
Definition
OpInterfaces.h.inc:51
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Concept
Definition
OpInterfaces.h.inc:20
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits
Definition
OpInterfaces.h.inc:19
llzk::constrain::detail::ConstraintOpInterfaceTrait
Definition
OpInterfaces.h.inc:58
build
include
llzk
Dialect
Constrain
IR
OpInterfaces.h.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.