LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties Struct Reference

Public Types

using lowBitTy = ::mlir::IntegerAttr

Public Member Functions

auto getLowBit ()
void setLowBit (const ::mlir::IntegerAttr &propValue)
bool operator== (const Properties &rhs) const
bool operator!= (const Properties &rhs) const

Public Attributes

lowBitTy lowBit

Detailed Description

Definition at line 5320 of file SMT.h.inc.

Member Typedef Documentation

◆ lowBitTy

Definition at line 5321 of file SMT.h.inc.

Member Function Documentation

◆ getLowBit()

auto llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties::getLowBit ( )
inline

Definition at line 5324 of file SMT.h.inc.

◆ operator!=()

bool llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties::operator!= ( const Properties & rhs) const
inline

Definition at line 5336 of file SMT.h.inc.

◆ operator==()

bool llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties::operator== ( const Properties & rhs) const
inline

Definition at line 5331 of file SMT.h.inc.

◆ setLowBit()

void llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties::setLowBit ( const ::mlir::IntegerAttr & propValue)
inline

Definition at line 5328 of file SMT.h.inc.

Member Data Documentation

◆ lowBit

lowBitTy llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties::lowBit

Definition at line 5322 of file SMT.h.inc.


The documentation for this struct was generated from the following file:
  • build/include/llzk/Dialect/SMT/IR/SMT.h.inc