Java Reference
Java Reference
CpSolver.java
Go to the documentation of this file.
Parent class to create a callback called at each solution.
Definition: CpSolverSolutionCallback.java:39
double objectiveValue()
Returns the best objective value found during search.
Definition: CpSolver.java:67
double bestObjectiveBound()
Returns the best lower bound found when minimizing, of the best upper bound found when maximizing.
Definition: CpSolver.java:75
CpSolverResponse response()
Returns the internal response protobuf that is returned internally by the SAT solver.
Definition: CpSolver.java:95
CpSolverStatus solveWithSolutionCallback(CpModel model, CpSolverSolutionCallback cb)
Solves a problem and passes each solution found to the callback.
Definition: CpSolver.java:40
long value(IntVar var)
Returns the value of a variable in the last solution found.
Definition: CpSolver.java:80
long numBranches()
Returns the number of branches explored during search.
Definition: CpSolver.java:100
List< Integer > sufficientAssumptionsForInfeasibility()
Definition: CpSolver.java:119
CpSolverStatus searchAllSolutions(CpModel model, CpSolverSolutionCallback cb)
Searches for all solutions of a satisfiability problem.
Definition: CpSolver.java:58
CpSolverStatus solve(CpModel model)
Solves the given module, and returns the solve status.
Definition: CpSolver.java:34
long numConflicts()
Returns the number of conflicts created during search.
Definition: CpSolver.java:105
SatParameters.Builder getParameters()
Returns the builder of the parameters of the SAT solver for modification.
Definition: CpSolver.java:124
Boolean booleanValue(Literal var)
Returns the Boolean value of a literal in the last solution found.
Definition: CpSolver.java:85
String responseStats()
Returns some statistics on the solution found as a string.
Definition: CpSolver.java:129
int getIndex()
Internal, returns the index of the variable in the underlying CpModelProto.
Definition: IntVar.java:45
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17
int getIndex()