|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
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 |
| using llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties::lowBitTy = ::mlir::IntegerAttr |
|
inline |
|
inline |
|
inline |
|
inline |
| lowBitTy llzk::smt::detail::ExtractOpGenericAdaptorBase::Properties::lowBit |