|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | columnTy = ::mlir::UnitAttr |
| using | signalTy = ::mlir::UnitAttr |
| using | sym_nameTy = ::mlir::StringAttr |
| using | typeTy = ::mlir::TypeAttr |
Public Member Functions | |
| auto | getColumn () |
| void | setColumn (const ::mlir::UnitAttr &propValue) |
| auto | getSignal () |
| void | setSignal (const ::mlir::UnitAttr &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 | |
| columnTy | column |
| signalTy | signal |
| sym_nameTy | sym_name |
| typeTy | type |
| using llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::columnTy = ::mlir::UnitAttr |
| using llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::signalTy = ::mlir::UnitAttr |
| using llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::sym_nameTy = ::mlir::StringAttr |
| using llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::typeTy = ::mlir::TypeAttr |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| columnTy llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::column |
| signalTy llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::signal |
| sym_nameTy llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::sym_name |
| typeTy llzk::component::detail::MemberDefOpGenericAdaptorBase::Properties::type |