Fixpoint v0.20.2

CPSolver.Search.Brancher behaviour (Fixpoint v0.20.2)

Link to this section Summary

Callbacks

branch(t, any)
initialize(map)

Link to this section Callbacks

Link to this callback

branch(t, any)

Specs

branch(Variable.t(), any()) :: [any()]
Link to this callback

initialize(map)

Specs

initialize(map()) :: :ok