Beaver.MLIR.Transform.Schedule.Constraint (beaver v0.4.8)

An exported transform.smt.constrain_params operation.

Summary

Types

t()

Types

t()

@type t() :: %Beaver.MLIR.Transform.Schedule.Constraint{
  guards: [Beaver.MLIR.Transform.Schedule.Choice.guard()],
  ir: String.t(),
  operands: non_neg_integer(),
  path: [term()],
  results: non_neg_integer()
}