<!-- Autogenerated by mlir-tblgen; don't manually edit -->
# 'Optimizer' Dialect

Auxiliary operations for the interaction with the optimizer


## Operation definition

### `Optimizer.partition_frontier` (::mlir::concretelang::Optimizer::PartitionFrontierOp)

Models an explicit edge between two partitions

Models an explicit edge between two partitions in the solution
determined by the optimizer requiring a key change between the
encrypted values of the operand and the encrypted values of
the result.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

#### Attributes:

| Attribute | MLIR Type | Description |
| :-------: | :-------: | ----------- |
| `inputKeyID` | ::mlir::IntegerAttr | 64-bit signless integer attribute
| `outputKeyID` | ::mlir::IntegerAttr | 32-bit signless integer attribute

#### Operands:

| Operand | Description |
| :-----: | ----------- |
| `input` | any type

#### Results:

| Result | Description |
| :----: | ----------- |
&laquo;unnamed&raquo; | any type

