CPSolver.Search.DefaultBrancher (Fixpoint v0.20.2)
Link to this section Summary
Functions
Callback implementation for CPSolver.Search.Brancher.branch/2.
Callback implementation for CPSolver.Search.Brancher.initialize/1.
Link to this section Functions
Link to this function
branch(variables, data)
Callback implementation for CPSolver.Search.Brancher.branch/2.
Link to this function
initialize(data)
Callback implementation for CPSolver.Search.Brancher.initialize/1.