|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | constantTy = ::mlir::UnitAttr |
| using | initial_valueTy = ::mlir::Attribute |
| using | sym_nameTy = ::mlir::StringAttr |
| using | typeTy = ::mlir::TypeAttr |
Public Member Functions | |
| auto | getConstant () |
| void | setConstant (const ::mlir::UnitAttr &propValue) |
| auto | getInitialValue () |
| void | setInitialValue (const ::mlir::Attribute &propValue) |
| auto | getSymName () |
| void | setSymName (const ::mlir::StringAttr &propValue) |
| auto | getType () |
| void | setType (const ::mlir::TypeAttr &propValue) |
| bool | operator== (const Properties &rhs) const |
| bool | operator!= (const Properties &rhs) const |
Public Attributes | |
| constantTy | constant |
| initial_valueTy | initial_value |
| sym_nameTy | sym_name |
| typeTy | type |
| using llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::constantTy = ::mlir::UnitAttr |
| using llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::initial_valueTy = ::mlir::Attribute |
| using llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::sym_nameTy = ::mlir::StringAttr |
| using llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::typeTy = ::mlir::TypeAttr |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| constantTy llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::constant |
| initial_valueTy llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::initial_value |
| sym_nameTy llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::sym_name |
| typeTy llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties::type |