- r -

• rbcNode2cnfVar_cnf : Rbc_Manager_t
• rbcNode2cnfVar_model : Rbc_Manager_t
• reachable : BddFsmCache
• reachable_states : BddFsmCache::BddFsmReachable_TAG
• recognize : LogicRecognizerBase
• reentrant : CommandDescr_t
• remove_layer : BaseEnc
• reord_locked_num : BddEnc
• reord_status : BddEnc
• repr : Number
• requires_value : TraceXmlLoader
• resolve : BaseEvaluator
• revfair_states : BddFsmCache
• revfair_states_inputs : BddFsmCache
• rewrite : Prop_Rewriter
• rewritten : Prop_Rewriter
• right : avl_node , node_ptr , clause_graph
• root : avl_tree