Searched refs:cond_init_lit_table (Results 1 – 1 of 1) sorted by relevance
103 static int cond_init_lit_table(LitSplitDesc_p lit_table, in cond_init_lit_table() function298 split_var_no = cond_init_lit_table(lit_table, clause, how, split_vars); in clause_split_general()