llzk::polymorphic::detail::StorageDescription Struct Reference

Transient description derived from immutable storage accesses, not an environment. More...

#include <ConstraintStorage.h>

Collaboration diagram for llzk::polymorphic::detail::StorageDescription:

Public Attributes
component::StructDefOp	definition
mlir::ArrayAttr	family
llvm::SmallVector< int64_t >	indices
mlir::Type	memberType
	Concrete declared member shape, which may refine a dynamic read type.
bool	signal = false

Detailed Description

Transient description derived from immutable storage accesses, not an environment.

Definition at line 24 of file ConstraintStorage.h.

Member Data Documentation

definition

component::StructDefOp llzk::polymorphic::detail::StorageDescription::definition

Definition at line 25 of file ConstraintStorage.h.

family

mlir::ArrayAttr llzk::polymorphic::detail::StorageDescription::family

Definition at line 26 of file ConstraintStorage.h.

indices

llvm::SmallVector<int64_t> llzk::polymorphic::detail::StorageDescription::indices

Definition at line 27 of file ConstraintStorage.h.

memberType

mlir::Type llzk::polymorphic::detail::StorageDescription::memberType

Concrete declared member shape, which may refine a dynamic read type.

Definition at line 29 of file ConstraintStorage.h.

signal

bool llzk::polymorphic::detail::StorageDescription::signal = false

Definition at line 30 of file ConstraintStorage.h.

---

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

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