Here is a list of all functions with links to the classes they belong to:
- r -
- R() : mim::ast::R< T >
- raw_app() : mim::World
- rbegin() : mim::PooledSet< T >
- rebind() : mim::ast::Ptrn
- rebuild() : mim::Def
- rebuild_() : mim::Ac, mim::App, mim::Arr, mim::Axiom, mim::Def, mim::Extract, mim::Global, mim::Idx, mim::Infer, mim::Insert, mim::Lam, mim::Lit, mim::Nat, mim::Pack, mim::Pi, mim::Pick, mim::Proxy, mim::Sigma, mim::Singleton, mim::TBound< Up >, mim::Test, mim::TExt< Up >, mim::Tuple, mim::Type, mim::UInc, mim::UMax, mim::Univ, mim::Var, mim::Vel
- RecDecl() : mim::ast::RecDecl
- reduce() : mim::Arr, mim::Def, mim::Pack
- Ref() : mim::Ref
- refer() : mim::Ref
- refine() : mim::Def
- register_annex() : mim::ast::Emitter, mim::World
- RememElim() : mim::plug::mem::RememElim
- RemoveDbgPerm() : mim::plug::refly::RemoveDbgPerm
- rend() : mim::PooledSet< T >
- Res() : mim::Res
- reset() : mim::Def, mim::Infer, mim::Pack
- Reshape() : mim::plug::mem::Reshape
- ret() : mim::ast::PiExpr::Dom
- ret_dom() : mim::Lam, mim::Pi
- ret_pi() : mim::Lam, mim::Pi
- ret_var() : mim::Lam, mim::plug::clos::ClosLit
- RetExpr() : mim::ast::RetExpr
- RetWrap() : mim::RetWrap
- reverse_post_order() : mim::CFG< bool >
- rewrite() : mim::BetaRed, mim::EtaExp, mim::EtaRed, mim::LamSpec, mim::Pass, mim::plug::affine::LowerFor, mim::plug::autodiff::AutoDiffEval, mim::plug::autodiff::AutoDiffZero, mim::plug::autodiff::AutoDiffZeroCleanup, mim::plug::clos::BranchClosElim, mim::plug::clos::Clos2SJLJ, mim::plug::clos::ClosConvPrep, mim::plug::clos::LowerTypedClosPrep, mim::plug::direct::DS2CPS, mim::plug::matrix::LowerMatrixHighLevelMapRed, mim::plug::matrix::LowerMatrixMediumLevel, mim::plug::mem::Alloc2Malloc, mim::plug::mem::CopyProp, mim::plug::mem::RememElim, mim::plug::mem::SSAConstr, mim::plug::refly::RemoveDbgPerm, mim::plug::regex::LowerRegex, mim::Rewriter, mim::Scalarize, mim::TailRecElim
- rewrite_() : mim::plug::matrix::LowerMatrixHighLevelMapRed, mim::plug::matrix::LowerMatrixMediumLevel
- rewrite_arg() : mim::plug::clos::ClosConvPrep
- rewrite_callee() : mim::plug::clos::ClosConvPrep
- rewrite_imm() : mim::plug::matrix::LowerMatrixLowLevel, mim::Rewriter, mim::VarRewriter
- rewrite_mut() : mim::Rewriter, mim::VarRewriter
- Rewriter() : mim::Rewriter
- root() : mim::DepTree, mim::DomTreeBase< bool >, mim::LoopTree< forward >
- rsubspan() : mim::Span< T, N >
- run() : mim::PassMan, mim::Phase, mim::plug::clos::FreeDefAna
- run_pipeline() : mim::PipelineBuilder
- RWPass() : mim::RWPass< P, M >
- RWPhase() : mim::RWPhase