Lines Matching refs:Count
425 length(List,Count),
426 ( Count = 0 ->
428 ; try_move(List,NewCount), NewCount < Count ->
431 write('local optimum: '), writeln(Count)
499 write('local optimum: '), writeln(Count)
799 \verb0min_conflicts(Vars,Count)0
803 \item Count - a variable, with a tentative integer value
806 The specification of \verb0min_conflicts(Vars,Count)0 is as follows:
839 Count tent_is sum(Bools),
840 min_conflicts(Vars,Count).