Searched defs:get_representative_tree (Results 1 – 14 of 14) sorted by relevance
986 program_state::get_representative_tree (svalue_id sid) const in get_representative_tree() function in ana::program_state
5837 region_model::get_representative_tree (svalue_id sid) const in get_representative_tree() function in ana::region_model
1095 program_state::get_representative_tree (const svalue *sval) const in get_representative_tree() function in ana::program_state
2399 region_model::get_representative_tree (const svalue *sval) const in get_representative_tree() function in ana::region_model
1188 program_state::get_representative_tree (const svalue *sval) const in get_representative_tree() function in ana::program_state
2965 region_model::get_representative_tree (const svalue *sval) const in get_representative_tree() function in ana::region_model