|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This is the complete list of members for llzk::polymorphic::detail::ConstraintBindings, including all inherited members.
| child(AccessPath parent, mlir::Attribute step, mlir::Type type) | llzk::polymorphic::detail::ConstraintBindings | inline |
| ConstraintBindings(mlir::MLIRContext *context) | llzk::polymorphic::detail::ConstraintBindings | inlineexplicit |
| create(mlir::Type type, mlir::Value input={}, mlir::Value storage={}) | llzk::polymorphic::detail::ConstraintBindings | inline |
| element(AccessPath parent, int64_t index) | llzk::polymorphic::detail::ConstraintBindings | inline |
| elements(AccessPath path, mlir::Operation *site, llvm::function_ref< mlir::LogicalResult(AccessPath)> visit) | llzk::polymorphic::detail::ConstraintBindings | inline |
| load(AccessPath path, mlir::Operation *site, StorageReader read) | llzk::polymorphic::detail::ConstraintBindings | inline |
| protect(AccessPath path) | llzk::polymorphic::detail::ConstraintBindings | inline |
| select(AccessPath path, mlir::Attribute step, mlir::Operation *site) | llzk::polymorphic::detail::ConstraintBindings | inline |
| StorageReader typedef | llzk::polymorphic::detail::ConstraintBindings | |
| store(AccessPath path, mlir::Value value) | llzk::polymorphic::detail::ConstraintBindings | inline |
| transfer(AccessPath destination, AccessPath source, mlir::Operation *site, StorageReader read) | llzk::polymorphic::detail::ConstraintBindings | inline |
| unprotect(AccessPath path) | llzk::polymorphic::detail::ConstraintBindings | inline |
| walk(AccessPath path, mlir::Operation *site, llvm::function_ref< mlir::LogicalResult(AccessPath)> visit) | llzk::polymorphic::detail::ConstraintBindings | inline |
| writable(AccessPath path, mlir::Operation *site) const | llzk::polymorphic::detail::ConstraintBindings | inline |