Current section

Files

Jump to
fixpoint lib solver search value_partition.ex
Raw

lib/solver/search/value_partition.ex

defmodule CPSolver.Search.ValuePartition do
alias CPSolver.Variable
@callback partition(Variable.t()) :: {:ok, [Domain.t() | number()]} | {:error, any()}
end