- r -

• range : klee::Array
• Range : klee::expr::ArrayDecl
• reachedCloseMerge : klee::MergeHandler
• readInfo : klee::ArrayReadExprVisitor
• readOnly : klee::ObjectState
• reads : klee::ArrayReadExprVisitor
• recursive : klee::ExprVisitor
• refCount : klee::ReferenceCounter
• references : klee::ImmutableTree< K, V, KOV, CMP >::Node
• registeredIds : klee::PTree
• removedStates : klee::Executor
• replacements : ExprReplaceVisitor2
• replayKTest : klee::Executor
• replayPath : klee::Executor
• replayPosition : klee::Executor
• results : klee::ConstantArrayFinder, klee::SymbolicObjectFinder
• right : klee::BinaryExpr, klee::ConcatExpr, klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::PTreeNode
• 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
• run : klee::Timer