|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | pathTy = ::mlir::StringAttr |
| using | sym_nameTy = ::mlir::StringAttr |
Public Member Functions | |
| auto | getPath () |
| void | setPath (const ::mlir::StringAttr &propValue) |
| auto | getSymName () |
| void | setSymName (const ::mlir::StringAttr &propValue) |
| bool | operator== (const Properties &rhs) const |
| bool | operator!= (const Properties &rhs) const |
Public Attributes | |
| pathTy | path |
| sym_nameTy | sym_name |
| using llzk::include::detail::IncludeOpGenericAdaptorBase::Properties::pathTy = ::mlir::StringAttr |
| using llzk::include::detail::IncludeOpGenericAdaptorBase::Properties::sym_nameTy = ::mlir::StringAttr |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
| pathTy llzk::include::detail::IncludeOpGenericAdaptorBase::Properties::path |
| sym_nameTy llzk::include::detail::IncludeOpGenericAdaptorBase::Properties::sym_name |