- r -

• reason() : Minisat::Solver
• rebuildOrderHeap() : Minisat::Solver
• reduceDB() : Minisat::Solver
• reduceDB_lt() : reduceDB_lt
• RegionAllocator() : Minisat::RegionAllocator< T >
• rehash() : Minisat::Map< K, D, H, E >
• reloc() : Minisat::ClauseAllocator
• relocAll() : Minisat::SimpSolver , Minisat::Solver
• relocate() : Minisat::Clause
• relocation() : Minisat::Clause
• reloced() : Minisat::Clause
• remove() : Minisat::CMap< T > , Minisat::Map< K, D, H, E >
• removeClause() : Minisat::SimpSolver , Minisat::Solver
• removeMin() : Minisat::Heap< Comp >
• removeSatisfied() : Minisat::Solver
• restore() : pyabc_split.abc_state
• right() : Minisat::Heap< Comp >