llzk::polymorphic::detail::AccessPath Struct Reference

A concrete subtree of one execution's storage. More...

#include <ConstraintBindings.h>

Public Attributes
unsigned	root
mlir::ArrayAttr	steps
mlir::Type	type

Detailed Description

A concrete subtree of one execution's storage.

Types describe its shape; string and integer steps identify records and array coordinates respectively.

Definition at line 28 of file ConstraintBindings.h.

Member Data Documentation

root

unsigned llzk::polymorphic::detail::AccessPath::root

Definition at line 29 of file ConstraintBindings.h.

steps

mlir::ArrayAttr llzk::polymorphic::detail::AccessPath::steps

Definition at line 30 of file ConstraintBindings.h.

type

mlir::Type llzk::polymorphic::detail::AccessPath::type

Definition at line 31 of file ConstraintBindings.h.

---

The documentation for this struct was generated from the following file:

• lib/Dialect/Polymorphic/Transforms/ConstraintBindings.h