Searched refs:find_free_literal (Results 1 – 1 of 1) sorted by relevance
150 static int find_free_literal(LitSplitDesc_p lit_table, int lit_no) in find_free_literal() function300 if((how == SplitGroundOne) && find_free_literal(lit_table, lit_no)) in clause_split_general()305 while((i=find_free_literal(lit_table, lit_no))!=-1) in clause_split_general()