Searched defs:build_outer_to_without_bva_map (Results 1 – 2 of 2) sorted by relevance
358 vector<uint32_t> CNF::build_outer_to_without_bva_map() const in build_outer_to_without_bva_map() function in CNF