Uses of Class
com.google.ortools.sat.CpModel

Packages that use CpModel

Package	Description
com.google.ortools.sat

Uses of CpModel in com.google.ortools.sat

Methods in com.google.ortools.sat with parameters of type CpModel

Modifier and Type	Method	Description
CpSolverStatus	CpSolver.searchAllSolutions(CpModel model, CpSolverSolutionCallback cb)	Searches for all solutions of a satisfiability problem.
CpSolverStatus	CpSolver.solve(CpModel model)	Solves the given module, and returns the solve status.
CpSolverStatus	CpSolver.solveWithSolutionCallback(CpModel model, CpSolverSolutionCallback cb)	Solves a problem and passes each solution found to the callback.