Searched refs:outerToInterMain (Results 1 – 4 of 4) sorted by relevance
56 outerToInterMain.push_back(maxVar); in new_var()57 outerToInterMain[maxVar] = minVar; in new_var()58 outerToInterMain[x] = maxVar; in new_var()77 outerToInterMain[k] = z; in new_var()78 outerToInterMain[orig_outer] = minVar; in new_var()102 size_t outer_at = outerToInterMain.size(); in new_vars()103 outerToInterMain.insert(outerToInterMain.end(), n, 0); in new_vars()118 outerToInterMain[maxVar] = minVar; in new_vars()119 outerToInterMain[x] = maxVar; in new_vars()393 f.put_vector(outerToInterMain); in save_state()[all …]
263 return outerToInterMain[outer]; in map_outer_to_inter()267 return Lit(outerToInterMain[outer.var()], outer.sign()); in map_outer_to_inter()350 vector<uint32_t> outerToInterMain; variable