Searched refs:svalue_id_map (Results 1 – 9 of 9) sorted by relevance
186 void remap_svalue_ids (const svalue_id_map &map);191 const svalue_id_map &map,262 void remap_svalue_ids (const svalue_id_map &map);350 void remap_svalue_ids (const svalue_id_map &map);375 void remap_svalue_ids (const svalue_id_map &map);
57 void remap_svalue_ids (const svalue_id_map &map);222 void remap_svalue_ids (const svalue_id_map &map);
463 sm_state_map::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()504 const svalue_id_map &map, in on_svalue_purge()973 program_state::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()1111 state_change::sm_change::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()1222 state_change::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()1405 svalue_id_map remapping (3); in test_sm_state_map()
167 typedef id_map<svalue_id> svalue_id_map; typedef904 void remap_svalue_ids (const svalue_id_map &map);1833 void remap_svalue_ids (const svalue_id_map &map);1955 virtual void remap_svalue_ids (const svalue_id_map &map) = 0;1974 const svalue_id_map &map) = 0;2021 void remap_svalue_ids (const svalue_id_map &) OVERRIDE {} in remap_svalue_ids() argument2022 int on_svalue_purge (svalue_id, const svalue_id_map &) OVERRIDE in on_svalue_purge() argument2167 svalue_id_map m_sid_map;
51 void remap_svalue_ids (const svalue_id_map &map) FINAL OVERRIDE;54 const svalue_id_map &map) FINAL OVERRIDE;65 const svalue_id_map &map,
306 equiv_class::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()1196 constraint_manager::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()
119 impl_region_model_context::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()128 const svalue_id_map &map) in on_svalue_purge()503 const svalue_id_map &map, in on_state_leak()
1522 region::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()6562 svalue_id_map map (m_svalues.length ()); in purge_unused_svalues()6628 region_model::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()
5408 (svalue_id_map): Delete.