Searched refs:permute_stack_next (Results 1 – 1 of 1) sorted by relevance
448 static bool permute_stack_next(PStack_p permute_stack, int var_no) in permute_stack_next() function603 if(!permute_stack_next(permute_stack, var_no)) in ClauseSplitGeneral()