- r -

• recGetSubTerms() : theory_quant.cpp
• recursiveExprScore() : theory_quant.cpp
• recursiveGetBoundVars() : theory_quant.cpp
• recursiveGetPartTriggers() : theory_quant.cpp
• recursiveGetSubTrig() : theory_quant.cpp
• registerKinds() : expr_manager.cpp
• reset() : expr_stream.cpp
• right() : minisat_heap.h

---