- r -

• RATIONAL_EXPR : kinds.h
• RAW_LIST : kinds.h
• READ : theory_array.h
• REAL : theory_arith.h
• REAL_CONST : theory_arith.h
• RECORD : theory_records.h
• RECORD_SELECT : theory_records.h
• RECORD_TYPE : theory_records.h
• RECORD_UPDATE : theory_records.h
• RESTART : kinds.h
• RIGHTSHIFT : theory_bitvector.h

---