Searched defs:top_var (Results 1 – 1 of 1) sorted by relevance
901 int top_var) in omega_substitute_red_1()924 int e, top_var = setup_packing (sub, pb->num_vars); in omega_substitute_red() local1000 int top_var = setup_packing (sub, pb->num_vars); in omega_substitute() local1375 int g, top_var, i0, hashCode; in normalize_omega_problem() local