|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Scalar contents and concrete array shapes, including nested aggregate roots. More...
#include <DiscoveryStorage.h>
Public Member Functions | |
| void | invalidate () |
| Writes may replace nested arrays, but cannot resize the root allocation. | |
Public Attributes | |
| DiscoveryLeaves | leaves |
| llvm::DenseMap< mlir::ArrayAttr, llvm::SmallVector< int64_t > > | shapes |
Scalar contents and concrete array shapes, including nested aggregate roots.
Definition at line 24 of file DiscoveryStorage.h.
|
inline |
Writes may replace nested arrays, but cannot resize the root allocation.
Definition at line 29 of file DiscoveryStorage.h.
| DiscoveryLeaves llzk::polymorphic::detail::DiscoveryAggregate::leaves |
Definition at line 25 of file DiscoveryStorage.h.
| llvm::DenseMap<mlir::ArrayAttr, llvm::SmallVector<int64_t> > llzk::polymorphic::detail::DiscoveryAggregate::shapes |
Definition at line 26 of file DiscoveryStorage.h.