Current section

Files

Jump to
fixpoint lib solver search variable_value first_fail.ex
Raw

lib/solver/search/variable_value/first_fail.ex

defmodule CPSolver.Search.VariableSelector.FirstFail do
@behaviour CPSolver.Search.VariableSelector
alias CPSolver.Variable.Interface
@impl true
def select_variable(variables) do
Enum.min_by(variables, fn var -> Interface.size(var) end)
end
end