|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Classes | |
| struct | Properties |
Public Member Functions | |
| CmpOpGenericAdaptorBase (::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={}) | |
| CmpOpGenericAdaptorBase (CmpOp op) | |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize) |
| const Properties & | getProperties () |
| ::mlir::DictionaryAttr | getAttributes () |
| ::llzk::boolean::FeltCmpPredicateAttr | getPredicateAttr () |
| ::llzk::boolean::FeltCmpPredicate | getPredicate () |
Protected Attributes | |
| ::mlir::DictionaryAttr | odsAttrs |
| ::std::optional<::mlir::OperationName > | odsOpName |
| Properties | properties |
| ::mlir::RegionRange | odsRegions |
|
inline |
| llzk::boolean::detail::CmpOpGenericAdaptorBase::CmpOpGenericAdaptorBase | ( | CmpOp | op | ) |
Definition at line 772 of file Ops.cpp.inc.
|
inline |
|
inline |
| llzk::boolean::FeltCmpPredicate llzk::boolean::detail::CmpOpGenericAdaptorBase::getPredicate | ( | ) |
Definition at line 774 of file Ops.cpp.inc.
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |
|
protected |