Java Reference
Java Reference
Detailed Description
Parent class to create a callback called at each solution.
From the parent class, it inherits the methods:
to query the number of boolean variables created.
to query the number of branches explored so far.
to query the number of conflicts created so far.
to query the number of boolean propagations in the SAT solver so far.
to query the number of integer propagations in the SAT solver so far.
to query wall time passed in the search so far.
to query the user time passed in the search so far.
to get the best objective value found so far.
Definition at line 39 of file CpSolverSolutionCallback.java.
Public Member Functions | |
| long | value (IntVar var) |
| Returns the value of the variable in the current solution. More... | |
| Boolean | booleanValue (Literal literal) |
| Returns the Boolean value of the literal in the current solution. More... | |
| void | onSolutionCallback () |
| Callback method to override. More... | |
| synchronized void | delete () |
| void | swigReleaseOwnership () |
| void | swigTakeOwnership () |
| long | numBooleans () |
| long | numBranches () |
| long | numConflicts () |
| long | numBinaryPropagations () |
| long | numIntegerPropagations () |
| double | wallTime () |
| double | userTime () |
| double | objectiveValue () |
| double | bestObjectiveBound () |
| long | solutionIntegerValue (int index) |
| boolean | solutionBooleanValue (int index) |
| void | stopSearch () |
Protected Member Functions | |
| void | swigDirectorDisconnect () |
Member Function Documentation
◆ bestObjectiveBound()
|
inlineinherited |
Definition at line 90 of file SolutionCallback.java.
◆ booleanValue()
|
inline |
Returns the Boolean value of the literal in the current solution.
Definition at line 47 of file CpSolverSolutionCallback.java.
◆ delete()
|
inlineinherited |
Definition at line 29 of file SolutionCallback.java.
◆ numBinaryPropagations()
|
inlineinherited |
Definition at line 70 of file SolutionCallback.java.
◆ numBooleans()
|
inlineinherited |
Definition at line 58 of file SolutionCallback.java.
◆ numBranches()
|
inlineinherited |
Definition at line 62 of file SolutionCallback.java.
◆ numConflicts()
|
inlineinherited |
Definition at line 66 of file SolutionCallback.java.
◆ numIntegerPropagations()
|
inlineinherited |
Definition at line 74 of file SolutionCallback.java.
◆ objectiveValue()
|
inlineinherited |
Definition at line 86 of file SolutionCallback.java.
◆ onSolutionCallback()
|
inline |
Callback method to override.
It will be called at each new solution.
Reimplemented from SolutionCallback.
Definition at line 53 of file CpSolverSolutionCallback.java.
◆ solutionBooleanValue()
|
inlineinherited |
Definition at line 98 of file SolutionCallback.java.
◆ solutionIntegerValue()
|
inlineinherited |
Definition at line 94 of file SolutionCallback.java.
◆ stopSearch()
|
inlineinherited |
Definition at line 102 of file SolutionCallback.java.
◆ swigDirectorDisconnect()
|
inlineprotectedinherited |
Definition at line 39 of file SolutionCallback.java.
◆ swigReleaseOwnership()
|
inlineinherited |
Definition at line 44 of file SolutionCallback.java.
◆ swigTakeOwnership()
|
inlineinherited |
Definition at line 49 of file SolutionCallback.java.
◆ userTime()
|
inlineinherited |
Definition at line 82 of file SolutionCallback.java.
◆ value()
|
inline |
Returns the value of the variable in the current solution.
Definition at line 41 of file CpSolverSolutionCallback.java.
◆ wallTime()
|
inlineinherited |
Definition at line 78 of file SolutionCallback.java.
The documentation for this class was generated from the following file: