- r -

• RBC_CNF_ALGORITHM : opt.h
• RBC_ENABLE_IFF_CONNECTIVE : rbcInt.h
• RBC_ENABLE_ITE_CONNECTIVE : rbcInt.h
• RBC_GET_LEFTMOST_CHILD : rbcInt.h
• RBC_GET_SECOND_CHILD : rbcInt.h
• Rbc_get_type : rbcInt.h
• RBC_INLINING : opt.h
• RBC_INLINING_LAZY : opt.h
• RBC_INVALID_CONVERSION_NAME : rbc.h
• RBC_INVALID_SUBST_VALUE : rbc.h
• RBC_SHERIDAN_CONVERSION_NAME : rbc.h
• RBC_TSEITIN_CONVERSION_NAME : rbc.h
• RBCAND : rbcInt.h
• RbcClear : rbcInt.h
• RBCDUMMY : rbcInt.h
• RbcGetRef : rbcInt.h
• RbcId : rbcInt.h
• RBCIFF : rbcInt.h
• RbcIsSet : rbcInt.h
• RBCITE : rbcInt.h
• RBCMAX_STAT : rbcInt.h
• RbcSet : rbcInt.h
• RBCTOP : rbcInt.h
• RBCVAR : rbcInt.h
• RBCVAR_NO : rbcInt.h
• RC_EXPERIMENTAL_CODE_PREDICATES : compileCmd.c
• REORDER_ANNEALING : dd.h
• REORDER_EXACT : dd.h
• REORDER_GENETIC : dd.h
• REORDER_GROUP_SIFT : dd.h
• REORDER_GROUP_SIFT_CONV : dd.h
• REORDER_LINEAR : dd.h
• REORDER_LINEAR_CONV : dd.h
• REORDER_METHOD : opt.h
• REORDER_NONE : dd.h
• REORDER_RANDOM : dd.h
• REORDER_RANDOM_PIVOT : dd.h
• REORDER_SAME : dd.h
• REORDER_SIFT : dd.h
• REORDER_SIFT_CONV : dd.h
• REORDER_SYMM_SIFT : dd.h
• REORDER_SYMM_SIFT_CONV : dd.h
• REORDER_WINDOW2 : dd.h
• REORDER_WINDOW2_CONV : dd.h
• REORDER_WINDOW3 : dd.h
• REORDER_WINDOW3_CONV : dd.h
• REORDER_WINDOW4 : dd.h
• REORDER_WINDOW4_CONV : dd.h
• RESOLVE_SYMBOL : ResolveSymbol.h
• RESOLVE_SYMBOL_CHECK_INSTANCE : ResolveSymbol.h
• RUN_CPP : opt.h
• RUNNING_SYMBOL : compile.h