LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
llzk::polymorphic::detail::DiscoveryValue Struct Reference

A scalar constant or a local aggregate identity. Missing leaves are unknown. More...

#include <DiscoveryStorage.h>

Collaboration diagram for llzk::polymorphic::detail::DiscoveryValue:
[legend]

Public Member Functions

 DiscoveryValue ()=default
 DiscoveryValue (mlir::Attribute value)
bool operator== (const DiscoveryValue &other) const

Public Attributes

mlir::Attribute constant
std::shared_ptr< DiscoveryAggregate > aggregate

Detailed Description

A scalar constant or a local aggregate identity. Missing leaves are unknown.

Definition at line 36 of file DiscoveryStorage.h.

Constructor & Destructor Documentation

◆ DiscoveryValue() [1/2]

llzk::polymorphic::detail::DiscoveryValue::DiscoveryValue ( )
default

◆ DiscoveryValue() [2/2]

llzk::polymorphic::detail::DiscoveryValue::DiscoveryValue ( mlir::Attribute value)
inline

Definition at line 41 of file DiscoveryStorage.h.

Member Function Documentation

◆ operator==()

bool llzk::polymorphic::detail::DiscoveryValue::operator== ( const DiscoveryValue & other) const
inline

Definition at line 43 of file DiscoveryStorage.h.

Member Data Documentation

◆ aggregate

std::shared_ptr<DiscoveryAggregate> llzk::polymorphic::detail::DiscoveryValue::aggregate

Definition at line 38 of file DiscoveryStorage.h.

◆ constant

mlir::Attribute llzk::polymorphic::detail::DiscoveryValue::constant

Definition at line 37 of file DiscoveryStorage.h.

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