llzk::SourceRef Member List

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

createChild(const SourceRefIndex &r) const	llzk::SourceRef	inline
createChild(const SourceRef &other) const	llzk::SourceRef	inline
dump() const	llzk::SourceRef	inline
getAllChildren(mlir::SymbolTableCollection &tables, mlir::ModuleOp mod) const	llzk::SourceRef
getAllSourceRefs(mlir::SymbolTableCollection &tables, mlir::ModuleOp mod, const SourceRef &root)	llzk::SourceRef	static
getAllSourceRefs(component::StructDefOp structDef, function::FuncDefOp fnOp)	llzk::SourceRef	static
getAllSourceRefs(component::StructDefOp structDef, component::MemberDefOp memberDef)	llzk::SourceRef	static
getBlockArgument() const	llzk::SourceRef	inline
getCallOp() const	llzk::SourceRef	inline
getConstant() const	llzk::SourceRef	inline
getConstantFeltValue() const	llzk::SourceRef	inline
getConstantIndexValue() const	llzk::SourceRef	inline
getConstantValue() const	llzk::SourceRef	inline
getCreateStructOp() const	llzk::SourceRef	inline
getInputNum() const	llzk::SourceRef	inline
getNonDetOp() const	llzk::SourceRef	inline
getParentPrefix() const	llzk::SourceRef	inline
getPath() const	llzk::SourceRef	inline
getPieces() const	llzk::SourceRef	inline
getRoot() const	llzk::SourceRef	inline
getSuffix(const SourceRef &prefix) const	llzk::SourceRef
getType() const	llzk::SourceRef
isBlockArgument() const	llzk::SourceRef	inline
isCallResult() const	llzk::SourceRef	inline
isConstant() const	llzk::SourceRef	inline
isConstantFelt() const	llzk::SourceRef	inline
isConstantIndex() const	llzk::SourceRef	inline
isConstantInt() const	llzk::SourceRef	inline
isCreateStructOp() const	llzk::SourceRef	inline
isFeltVal() const	llzk::SourceRef	inline
isIndexVal() const	llzk::SourceRef	inline
isIntegerVal() const	llzk::SourceRef	inline
isNonDetOp() const	llzk::SourceRef	inline
isRooted() const	llzk::SourceRef	inline
isScalar() const	llzk::SourceRef	inline
isTemplateConstant() const	llzk::SourceRef	inline
isTypeVarVal() const	llzk::SourceRef	inline
isValidPrefix(const SourceRef &prefix) const	llzk::SourceRef
llvm::DenseMapInfo< SourceRef >	llzk::SourceRef	friend
operator!=(const SourceRef &rhs) const	llzk::SourceRef	inline
operator<=>(const SourceRef &rhs) const	llzk::SourceRef
operator==(const SourceRef &rhs) const	llzk::SourceRef
Path typedef	llzk::SourceRef
print(mlir::raw_ostream &os) const	llzk::SourceRef
SourceRef(mlir::BlockArgument b, Path p={})	llzk::SourceRef	inline
SourceRef(component::CreateStructOp createOp, Path p={})	llzk::SourceRef	inline
SourceRef(NonDetOp nondet, Path p={})	llzk::SourceRef	inline
SourceRef(mlir::OpResult rootResult, Path p={})	llzk::SourceRef	inline
SourceRef(felt::FeltConstantOp c)	llzk::SourceRef	inlineexplicit
SourceRef(mlir::arith::ConstantIndexOp c)	llzk::SourceRef	inlineexplicit
SourceRef(polymorphic::ConstReadOp c)	llzk::SourceRef	inlineexplicit
translate(const SourceRef &prefix, const SourceRef &other) const	llzk::SourceRef