CPSolver.Search.ValuePartition behaviour (Fixpoint v0.7.10)
Summary
Callbacks
Link to this callback
partition(t)
@callback partition(CPSolver.Variable.t()) :: {:ok, [Domain.t() | number()]} | {:error, any()}
@callback partition(CPSolver.Variable.t()) :: {:ok, [Domain.t() | number()]} | {:error, any()}