Package | Description |
---|---|
minicp.cp |
Factory methods for modeling and create search heuristics
|
Modifier and Type | Method and Description |
---|---|
static DFSearch |
Factory.makeDfs(Solver cp,
Supplier<Procedure[]> branching)
Creates a Depth First Search with custom branching heuristic
// Example of binary search: At each node it selects
// the first free variable qi from the array q,
// and creates two branches qi=v, qi!
|
Copyright © 2018 Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. All rights reserved.