Uses of Class
com.google.ortools.sat.CpSolverSolutionCallback
| Package | Description |
|---|---|
| com.google.ortools.sat |
-
Uses of CpSolverSolutionCallback in com.google.ortools.sat
Methods in com.google.ortools.sat with parameters of type CpSolverSolutionCallback Modifier and Type Method Description CpSolverStatusCpSolver. searchAllSolutions(CpModel model, CpSolverSolutionCallback cb)Searches for all solutions of a satisfiability problem.CpSolverStatusCpSolver. solveWithSolutionCallback(CpModel model, CpSolverSolutionCallback cb)Solves a problem and passes each solution found to the callback.