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(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
getAllConstrainRefs(component::StructDefOp structDef)llzk::ConstrainRefstatic
getBlockArgument() constllzk::ConstrainRefinline
getConstantFeltValue() constllzk::ConstrainRefinline
getConstantIndexValue() constllzk::ConstrainRefinline
getConstantInt() 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
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