Here is a list of all functions with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

R

S

T

U

V

W

X

Y

Z

~

- r -

• read() : llzk::LLZKDialectVersion
• ReadArrayOpAdaptor() : llzk::array::ReadArrayOpAdaptor
• ReadArrayOpBuildFuncHelper() : ReadArrayOpBuildFuncHelper
• ReadArrayOpGenericAdaptor() : llzk::array::ReadArrayOpAdaptor, llzk::array::ReadArrayOpGenericAdaptor< RangeT >
• ReadArrayOpGenericAdaptorBase() : llzk::array::detail::ReadArrayOpGenericAdaptorBase
• ReadPodOpAdaptor() : llzk::pod::ReadPodOpAdaptor
• ReadPodOpBuildFuncHelper() : ReadPodOpBuildFuncHelper
• ReadPodOpGenericAdaptor() : llzk::pod::ReadPodOpAdaptor, llzk::pod::ReadPodOpGenericAdaptor< RangeT >
• ReadPodOpGenericAdaptorBase() : llzk::pod::detail::ReadPodOpGenericAdaptorBase
• readProperties() : llzk::array::CreateArrayOp, llzk::boolean::AssertOp, llzk::boolean::CmpOp, llzk::cast::FeltToIndexOp, llzk::cast::IntToFeltOp, llzk::component::MemberDefOp, llzk::component::MemberReadOp, llzk::component::MemberWriteOp, llzk::component::StructDefOp, llzk::felt::FeltConstantOp, llzk::function::CallOp, llzk::function::FuncDefOp, llzk::global::GlobalDefOp, llzk::global::GlobalReadOp, llzk::global::GlobalWriteOp, llzk::include::IncludeOp, llzk::pod::NewPodOp, llzk::pod::ReadPodOp, llzk::pod::WritePodOp, llzk::polymorphic::ApplyMapOp, llzk::polymorphic::ConstReadOp, llzk::polymorphic::TemplateExprOp, llzk::polymorphic::TemplateOp, llzk::polymorphic::TemplateParamOp, llzk::smt::BoolConstantOp, llzk::smt::BV2IntOp, llzk::smt::BVCmpOp, llzk::smt::BVConstantOp, llzk::smt::DeclareFunOp, llzk::smt::ExistsOp, llzk::smt::ExtractOp, llzk::smt::ForallOp, llzk::smt::IntCmpOp, llzk::smt::IntConstantOp, llzk::smt::PopOp, llzk::smt::PushOp, llzk::smt::SetInfoOp, llzk::smt::SetLogicOp, llzk::string::LitStringOp, llzk::verif::ContractOp, llzk::verif::IncludeOp, llzk::verif::InvariantOp
• readVersion() : llzk::LLZKDialectBytecodeInterface< DialectTy >
• record() : llzk::MemberOverwriteLattice
• reduce() : llzk::Field, llzk::UnreducedInterval
• RedundantOperationEliminationPassBase() : llzk::impl::RedundantOperationEliminationPassBase< DerivedT >
• RedundantReadAndWriteEliminationPassBase() : llzk::impl::RedundantReadAndWriteEliminationPassBase< DerivedT >
• referenceMember() : llzk::SourceRefLatticeValue
• referencePodRecord() : llzk::SourceRefLatticeValue
• RefValueCapture() : llzk::RefValueCapture
• registerAttributes() : llzk::smt::SMTDialect
• registerTypes() : llzk::smt::SMTDialect
• remove() : llzk::FuzzySet, llzk::SourceRefLatticeValue
• removeArgAttrsAttr() : llzk::function::FuncDefOp, llzk::verif::ContractOp
• removeBlockingUses() : llzk::array::ReadArrayOp, llzk::array::WriteArrayOp, llzk::pod::ReadPodOp, llzk::pod::WritePodOp
• removeBoundVarNamesAttr() : llzk::smt::ExistsOp, llzk::smt::ForallOp
• removeColumnAttr() : llzk::component::MemberDefOp
• removeConstantAttr() : llzk::global::GlobalDefOp
• removeIsSignedAttr() : llzk::smt::BV2IntOp
• removeMsgAttr() : llzk::boolean::AssertOp
• removeNamePrefixAttr() : llzk::smt::DeclareFunOp
• removeNoPatternAttr() : llzk::smt::ExistsOp, llzk::smt::ForallOp
• removeResAttrsAttr() : llzk::function::FuncDefOp
• removeSignalAttr() : llzk::component::MemberDefOp
• removeTableOffsetAttr() : llzk::component::MemberReadOp
• removeTemplateParamsAttr() : llzk::function::CallOp, llzk::verif::IncludeOp
• removeTypeOptAttr() : llzk::polymorphic::TemplateParamOp
• RemoveUnusedDiscardableAllocationsPassBase() : llzk::impl::RemoveUnusedDiscardableAllocationsPassBase< DerivedT >
• RepeatOpAdaptor() : llzk::smt::RepeatOpAdaptor
• RepeatOpGenericAdaptor() : llzk::smt::RepeatOpAdaptor, llzk::smt::RepeatOpGenericAdaptor< RangeT >
• RepeatOpGenericAdaptorBase() : llzk::smt::detail::RepeatOpGenericAdaptorBase
• replaceAllSymbolUses() : llzk::polymorphic::TemplateSymbolBindingOpInterface, llzk::verif::ContractTargetOpInterface
• replacePrefixes() : llzk::SourceRefLatticeValue
• replacePrefixesScalar() : llzk::SourceRefLatticeValue
• report() : llzk::InFlightDiagnosticWrapper
• RequireComputeOpAdaptor() : llzk::verif::RequireComputeOpAdaptor
• RequireComputeOpBuildFuncHelper() : RequireComputeOpBuildFuncHelper
• RequireComputeOpGenericAdaptor() : llzk::verif::RequireComputeOpAdaptor, llzk::verif::RequireComputeOpGenericAdaptor< RangeT >
• RequireComputeOpGenericAdaptorBase() : llzk::verif::detail::RequireComputeOpGenericAdaptorBase
• RequireConstrainOpAdaptor() : llzk::verif::RequireConstrainOpAdaptor
• RequireConstrainOpBuildFuncHelper() : RequireConstrainOpBuildFuncHelper
• RequireConstrainOpGenericAdaptor() : llzk::verif::RequireConstrainOpAdaptor, llzk::verif::RequireConstrainOpGenericAdaptor< RangeT >
• RequireConstrainOpGenericAdaptorBase() : llzk::verif::detail::RequireConstrainOpGenericAdaptorBase
• ResetOpAdaptor() : llzk::smt::ResetOpAdaptor
• ResetOpGenericAdaptor() : llzk::smt::ResetOpAdaptor, llzk::smt::ResetOpGenericAdaptor< RangeT >
• ResetOpGenericAdaptorBase() : llzk::smt::detail::ResetOpGenericAdaptorBase
• resolveCallable() : llzk::CallGraph, llzk::function::CallOp, llzk::verif::IncludeOp
• resolveCallableInTable() : llzk::function::CallOp, llzk::verif::IncludeOp
• ReturnOpAdaptor() : llzk::function::ReturnOpAdaptor
• ReturnOpBuildFuncHelper() : ReturnOpBuildFuncHelper
• ReturnOpGenericAdaptor() : llzk::function::ReturnOpAdaptor, llzk::function::ReturnOpGenericAdaptor< RangeT >
• ReturnOpGenericAdaptorBase() : llzk::function::detail::ReturnOpGenericAdaptorBase
• rewire() : llzk::array::ArrayAccessOpInterface, llzk::array::ReadArrayOp, llzk::array::WriteArrayOp, llzk::pod::PodAccessOpInterface, llzk::pod::ReadPodOp, llzk::pod::WritePodOp
• rhs() : llzk::Interval
• root() : llzk::Within
• roots_begin() : llzk::SymbolUseGraph
• roots_end() : llzk::SymbolUseGraph
• rootsIter() : llzk::SymbolUseGraph
• run() : llzk::witgen::FunctionInterpreter
• runAnalysis() : llzk::ConstraintDependencyGraphStructAnalysis, llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >, llzk::StructAnalysis< Result, Context >, llzk::StructIntervalAnalysis
• runIntraproceduralAnalysis() : llzk::CDGAnalysisContext
• runMainFromJSON() : llzk::witgen::Interpreter
• runOnOperation() : llzk::detail::RemoveDeadValuesWorkaroundPass, llzk::SpecializedMem2Reg< AllocOpTy >, llzk::SpecializedSROA< AllocOpTy >