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

- r -

• RaiseAsmPass() : klee::RaiseAsmPass
• RandomPath : klee::Searcher
• RandomPathSearcher() : klee::RandomPathSearcher
• RandomSearcher() : klee::RandomSearcher
• RandomState : klee::Searcher
• range : klee::Array
• Range : klee::expr::ArrayDecl
• RBrace : klee::expr::Token
• reachedCloseMerge : klee::MergeHandler
• Read : klee::Expr, klee::ExprBuilder
• read() : klee::ObjectState
• read8() : klee::ObjectState
• ReadExpr() : klee::ReadExpr, klee::UpdateList
• readExpr() : klee::Z3Builder
• readInfo : klee::ArrayReadExprVisitor
• readOnly : klee::ObjectState
• reads : klee::ArrayReadExprVisitor
• readStream() : klee::TreeStreamWriter
• readStringAtAddress() : klee::SpecialFunctionHandler
• rebuild() : klee::ConcatExpr, klee::ConstantExpr, klee::Expr, klee::ExtractExpr, klee::NotExpr, klee::NotOptimizedExpr, klee::ReadExpr, klee::SelectExpr
• recursive : klee::ExprVisitor
• ref : klee::ref< T >, klee::ReferenceCounter
• ref< const MemoryObject > : klee::MemoryObject
• ref< MemoryObject > : klee::MemoryObject
• ref< ObjectState > : klee::ObjectState
• refCount : klee::ReferenceCounter
• ReferenceCounter() : klee::ReferenceCounter
• references : klee::ImmutableTree< K, V, KOV, CMP >::Node
• registeredIds : klee::PTree
• registerStatistic() : klee::StatisticManager
• releaseStates() : klee::MergeHandler
• remove() : klee::DiscretePDF< T, Comparator >, klee::ImmutableMap< K, D, CMP >, klee::ImmutableSet< T, CMP >, klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::ImmutableTree< K, V, KOV, CMP >, klee::PTree
• removedStates : klee::Executor
• removeOpenState() : klee::MergeHandler
• replace() : klee::ImmutableMap< K, D, CMP >, klee::ImmutableSet< T, CMP >, klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::ImmutableTree< K, V, KOV, CMP >
• replacements : ExprReplaceVisitor2
• replaceReadWithSymbolic() : klee::Executor
• replayKTest : klee::Executor
• replayPath : klee::Executor
• replayPosition : klee::Executor
• reset() : klee::ExprPPrinter, klee::ExprSMTLIBPrinter, klee::Timer, klee::TimerGroup, PPrinter
• resolve() : klee::AddressSpace
• resolveExact() : klee::Executor
• resolveOne() : klee::AddressSpace
• resolveSymbol() : klee::ExternalDispatcher, klee::ExternalDispatcherImpl
• results : klee::ConstantArrayFinder, klee::SymbolicObjectFinder
• rewrite() : klee::ExprRewriter
• rewriteConstraints() : klee::ConstraintManager
• right : klee::BinaryExpr, klee::ConcatExpr, klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::PTreeNode
• RNG() : klee::RNG
• root : klee::CallPathManager
• Root : klee::expr::ArrayDecl
• root : klee::ImmutableTree< K, V, KOV, CMP >::iterator, klee::MapOfSets< K, V >::iterator, klee::MapOfSets< K, V >, klee::PTree, klee::UpdateList
• rotate() : klee::DiscretePDF< T, Comparator >
• RP : klee::WeightedRandomSearcher
• RParen : klee::expr::Token
• RSquare : klee::expr::Token
• run() : klee::Executor, klee::Timer
• runFunctionAsMain() : klee::Executor, klee::Interpreter
• runOnBasicBlock() : klee::IntrinsicCleanerPass
• runOnFunction() : klee::LowerSwitchPass, klee::PhiCleanerPass
• runOnInstruction() : klee::RaiseAsmPass
• runOnModule() : klee::DivCheckPass, klee::FunctionAliasPass, klee::InstructionOperandTypeCheckPass, klee::IntrinsicCleanerPass, klee::OptNonePass, klee::OvershiftCheckPass, klee::RaiseAsmPass
• runProtectedCall() : klee::ExternalDispatcherImpl