Searched defs:canonicalization (Results 1 – 2 of 2) sorted by relevance
2154 struct canonicalization struct2164 const region_model &m_model;2166 region_id_map m_rid_map;2167 svalue_id_map m_sid_map;2169 int m_next_rid_int;2170 int m_next_sid_int;
7311 canonicalization::canonicalization (const region_model &model) in canonicalization() function in ana::canonicalization