LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::polymorphic::detail::DiscoveryAggregate Struct Reference

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

Detailed Description

Scalar contents and concrete array shapes, including nested aggregate roots.

Definition at line 24 of file DiscoveryStorage.h.

Member Function Documentation

◆ invalidate()

void llzk::polymorphic::detail::DiscoveryAggregate::invalidate ( )
inline

Writes may replace nested arrays, but cannot resize the root allocation.

Definition at line 29 of file DiscoveryStorage.h.

Member Data Documentation

◆ leaves

DiscoveryLeaves llzk::polymorphic::detail::DiscoveryAggregate::leaves

Definition at line 25 of file DiscoveryStorage.h.

◆ shapes

llvm::DenseMap<mlir::ArrayAttr, llvm::SmallVector<int64_t> > llzk::polymorphic::detail::DiscoveryAggregate::shapes

Definition at line 26 of file DiscoveryStorage.h.


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