- r -

• reduce_to_smt2() : hal::SMT::Translator
• register_parser() : hal::gate_library_parser_manager , hal::netlist_parser_manager
• register_writer() : hal::gate_library_writer_manager , hal::netlist_writer_manager
• remove() : hal::gate_library_manager
• remove_buffers() : hal::netlist_utils
• remove_model_changed_callback() : hal::plugin_manager
• remove_unused_lut_endpoints() : hal::netlist_utils
• replace() : hal::utils
• replace_gate() : hal::netlist_utils
• reverse_polish_notation() : hal::BooleanFunctionParser
• round_float() : utils
• round_float_1() : utils
• rtrim() : hal::utils
• run() : hal::dataflow::evaluation , hal::dataflow::pre_processing , hal::dataflow::processing
• runMain() : hal