- r -

• RCArray : puresatUtil.c
• RemainderComplement : synthFactor.c , synthSimple.c , synthGen.c
• Res_composeTime : resCompose.c
• Res_orderTime : resCompose.c
• Res_shuffleTime : resCompose.c
• Res_smartVarTime : resCompose.c
• ResolveConflictMode : synthFactor.c
• restrCreatedFsm : restrRestructure.c , restrCmd.c
• restrCreatedPart : restrRestructure.c , restrCmd.c
• restrVerbose : restrRestructure.c , restrCmd.c
• Resubstitution : synthFactor.c , synthGen.c , synthSimple.c