Searched defs:map_outer_to_inter (Results 1 – 2 of 2) sorted by relevance
261 uint32_t map_outer_to_inter(const uint32_t outer) const in map_outer_to_inter() function265 Lit map_outer_to_inter(const Lit outer) const in map_outer_to_inter() function