LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::ConstrainRef Member List

This is the complete list of members for llzk::ConstrainRef, including all inherited members.

ConstrainRef(mlir::BlockArgument b)llzk::ConstrainRefinlineexplicit
ConstrainRef(mlir::BlockArgument b, std::vector< ConstrainRefIndex > f)llzk::ConstrainRefinline
ConstrainRef(component::CreateStructOp createOp)llzk::ConstrainRefinlineexplicit
ConstrainRef(component::CreateStructOp createOp, std::vector< ConstrainRefIndex > f)llzk::ConstrainRefinline
ConstrainRef(felt::FeltConstantOp c)llzk::ConstrainRefinlineexplicit
ConstrainRef(mlir::arith::ConstantIndexOp c)llzk::ConstrainRefinlineexplicit
ConstrainRef(polymorphic::ConstReadOp c)llzk::ConstrainRefinlineexplicit
createChild(ConstrainRefIndex r) constllzk::ConstrainRefinline
createChild(ConstrainRef other) constllzk::ConstrainRefinline
dump() constllzk::ConstrainRefinline
getAllChildren(mlir::SymbolTableCollection &tables, mlir::ModuleOp mod) constllzk::ConstrainRef
getAllConstrainRefs(mlir::SymbolTableCollection &tables, mlir::ModuleOp mod, ConstrainRef root)llzk::ConstrainRefstatic
getAllConstrainRefs(component::StructDefOp structDef, function::FuncDefOp fnOp)llzk::ConstrainRefstatic
getAllConstrainRefs(component::StructDefOp structDef, component::FieldDefOp fieldDef)llzk::ConstrainRefstatic
getBlockArgument() constllzk::ConstrainRefinline
getConstantFeltValue() constllzk::ConstrainRefinline
getConstantIndexValue() constllzk::ConstrainRefinline
getConstantValue() constllzk::ConstrainRefinline
getCreateStructOp() constllzk::ConstrainRefinline
getInputNum() constllzk::ConstrainRefinline
getParentPrefix() constllzk::ConstrainRefinline
getPieces() constllzk::ConstrainRefinline
getSuffix(const ConstrainRef &prefix) constllzk::ConstrainRef
getType() constllzk::ConstrainRef
isBlockArgument() constllzk::ConstrainRefinline
isConstant() constllzk::ConstrainRefinline
isConstantFelt() constllzk::ConstrainRefinline
isConstantIndex() constllzk::ConstrainRefinline
isConstantInt() constllzk::ConstrainRefinline
isCreateStructOp() constllzk::ConstrainRefinline
isFeltVal() constllzk::ConstrainRefinline
isIndexVal() constllzk::ConstrainRefinline
isIntegerVal() constllzk::ConstrainRefinline
isScalar() constllzk::ConstrainRefinline
isSignal() constllzk::ConstrainRefinline
isTemplateConstant() constllzk::ConstrainRefinline
isTypeVarVal() constllzk::ConstrainRefinline
isValidPrefix(const ConstrainRef &prefix) constllzk::ConstrainRef
operator!=(const ConstrainRef &rhs) constllzk::ConstrainRefinline
operator<(const ConstrainRef &rhs) constllzk::ConstrainRef
operator==(const ConstrainRef &rhs) constllzk::ConstrainRef
operator>(const ConstrainRef &rhs) constllzk::ConstrainRefinline
print(mlir::raw_ostream &os) constllzk::ConstrainRef
translate(const ConstrainRef &prefix, const ConstrainRef &other) constllzk::ConstrainRef