- r -

• 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_get_node_cnf() : 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_cache_init() : rbcInt.h
• rbc_inlining_cache_lookup_result() : rbcInt.h
• rbc_inlining_cache_quit() : rbcInt.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_RbcIndex2CnfVar() : rbc.h
• Rbc_Shift() : rbc.h
• Rbc_Subst() : rbc.h
• Rbc_SubstRbc() : rbc.h
• Rbc_Unmark() : rbc.h
• RbcInline_apply_inlining() : rbc.h
• RbcUtils_get_dependencies() : rbc.h
• realloc() : portability.h
• remove_assoc() : assoc.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
• reverse() : node.h
• reverse_ns() : node.h