Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- r -

• Random : simulate.h
• RANGE : symbols.h
• Rbc_2CnfAlgorithm : rbc.h
• Rbc_Bool_c : rbc.h
• RBC_CNF_ALGORITHM : opt.h
• Rbc_CnfConversionAlgorithm2Str() : rbc.h
• Rbc_CnfConversionAlgorithmFromStr() : rbc.h
• Rbc_CnfGetValidRbc2CnfAlgorithms() : rbc.h
• Rbc_CnfVar2RbcIndex() : rbc.h
• Rbc_Convert2Cnf() : rbc.h
• Rbc_Convert2CnfCompact() : rbcInt.h
• Rbc_Convert2CnfSimple() : rbcInt.h
• Rbc_Dfs() : rbcInt.h
• Rbc_Dfs_clean() : rbcInt.h
• Rbc_Dfs_clean_exported() : rbc.h
• Rbc_Dfs_do_only_last_visit() : rbcInt.h
• Rbc_Dfs_exported() : rbc.h
• RBC_ENABLE_IFF_CONNECTIVE : rbcInt.h
• RBC_ENABLE_ITE_CONNECTIVE : rbcInt.h
• RBC_FALSE : rbc.h
• RBC_GET_LEFTMOST_CHILD : rbcInt.h
• Rbc_get_node_cnf() : rbcInt.h
• RBC_GET_SECOND_CHILD : rbcInt.h
• Rbc_get_type : rbcInt.h
• Rbc_GetIthVar() : rbc.h
• Rbc_GetLeftOpnd() : rbc.h
• Rbc_GetOne() : rbc.h
• Rbc_GetRightOpnd() : rbc.h
• Rbc_GetVarIndex() : rbc.h
• Rbc_GetZero() : rbc.h
• RBC_INLINING : opt.h
• rbc_inlining_cache_init() : rbcInt.h
• rbc_inlining_cache_lookup_result() : rbcInt.h
• rbc_inlining_cache_quit() : rbcInt.h
• RBC_INLINING_LAZY : opt.h
• Rbc_IntPtr_t : rbc.h
• RBC_INVALID_CONVERSION : rbc.h
• RBC_INVALID_CONVERSION_NAME : rbc.h
• RBC_INVALID_SUBST_VALUE : rbc.h
• Rbc_is_and() : rbc.h
• Rbc_is_iff() : rbc.h
• Rbc_is_ite() : rbc.h
• Rbc_is_top() : rbc.h
• Rbc_is_var() : rbc.h
• Rbc_IsConstant() : rbc.h
• Rbc_LogicalShift() : rbc.h
• Rbc_LogicalSubst() : rbc.h
• Rbc_LogicalSubstRbc() : rbc.h
• Rbc_MakeAnd() : rbc.h
• Rbc_MakeIff() : rbc.h
• Rbc_MakeIte() : rbc.h
• Rbc_MakeNot() : rbc.h
• Rbc_MakeOr() : rbc.h
• Rbc_MakeXor() : rbc.h
• Rbc_ManagerAlloc() : rbc.h
• Rbc_ManagerCapacity() : rbc.h
• Rbc_ManagerFree() : rbc.h
• Rbc_ManagerGC() : rbc.h
• Rbc_ManagerGetDfsCleanFun() : rbc.h
• Rbc_ManagerGetEnvironment() : rbc.h
• Rbc_ManagerReserve() : rbc.h
• Rbc_ManagerReset() : rbc.h
• Rbc_Mark() : rbc.h
• Rbc_OutputDaVinci() : rbc.h
• Rbc_OutputGdl() : rbc.h
• Rbc_OutputSexpr() : rbc.h
• Rbc_pkg_init() : rbc.h
• Rbc_pkg_quit() : rbc.h
• Rbc_PrintStats() : rbc.h
• Rbc_ProcPtr_t : rbc.h
• Rbc_RbcIndex2CnfVar() : rbc.h
• RBC_SHERIDAN_CONVERSION : rbc.h
• RBC_SHERIDAN_CONVERSION_NAME : rbc.h
• Rbc_Shift() : rbc.h
• Rbc_Subst() : rbc.h
• Rbc_SubstRbc() : rbc.h
• Rbc_t : rbc.h
• RBC_TRUE : rbc.h
• RBC_TSEITIN_CONVERSION : rbc.h
• RBC_TSEITIN_CONVERSION_NAME : rbc.h
• Rbc_Unmark() : rbc.h
• RBCAND : rbcInt.h
• RbcClear : rbcInt.h
• RbcDfsFunctions_t : rbc.h
• RBCDUMMY : rbcInt.h
• RbcGetRef : rbcInt.h
• RbcId : rbcInt.h
• RBCIFF : rbcInt.h
• RbcInline_apply_inlining() : rbc.h
• RbcIsSet : rbcInt.h
• RBCITE : rbcInt.h
• RBCMAX_STAT : rbcInt.h
• RbcSet : rbcInt.h
• RBCTOP : rbcInt.h
• RbcUtils_get_dependencies() : rbc.h
• RBCVAR : rbcInt.h
• RBCVAR_NO : rbcInt.h
• RC_EXPERIMENTAL_CODE_PREDICATES : compileCmd.c
• REAL : symbols.h
• realloc() : portability.h
• RELEASES : symbols.h
• remove_assoc() : assoc.h
• 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
• reset_bdd_encoding_word_bits() : opt.h
• reset_conj_part_threshold() : opt.h
• reset_default_simulation_steps() : opt.h
• reset_image_cluster_size() : opt.h
• reset_input_file() : opt.h
• reset_input_order_file() : opt.h
• reset_oreg_justice_emptiness_bdd_algorithm() : opt.h
• reset_output_boolean_model_file() : opt.h
• reset_output_flatten_model_file() : opt.h
• reset_output_order_file() : opt.h
• reset_partitioning_method() : opt.h
• reset_pgm_name() : opt.h
• reset_pgm_path() : opt.h
• reset_pp_cpp_path() : opt.h
• reset_pp_m4_path() : opt.h
• reset_prop_print_method() : opt.h
• reset_script_file() : opt.h
• reset_trans_order_file() : opt.h
• RESOLVE_SYMBOL : ResolveSymbol.h
• RESOLVE_SYMBOL_CHECK_INSTANCE : ResolveSymbol.h
• ResolveSymbol_ptr : ResolveSymbol.h
• reverse() : node.h
• reverse_ns() : node.h
• RROTATE : symbols.h
• RSHIFT : symbols.h
• RUN_CPP : opt.h
• RUNNING_SYMBOL : compile.h