Java Reference
Java Reference
Detailed Description
Definition at line 13 of file SatHelper.java.
Public Member Functions | |
| SatHelper (long cPtr, boolean cMemoryOwn) | |
| synchronized void | delete () |
| SatHelper () | |
Static Public Member Functions | |
| static com.google.ortools.sat.CpSolverResponse | solve (com.google.ortools.sat.CpModelProto model_proto) |
| static com.google.ortools.sat.CpSolverResponse | solveWithParameters (com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters) |
| static com.google.ortools.sat.CpSolverResponse | solveWithParametersAndSolutionCallback (com.google.ortools.sat.CpModelProto model_proto, com.google.ortools.sat.SatParameters parameters, SolutionCallback callback) |
| static String | modelStats (com.google.ortools.sat.CpModelProto model_proto) |
| static String | solverResponseStats (com.google.ortools.sat.CpSolverResponse response) |
| static String | validateModel (com.google.ortools.sat.CpModelProto model_proto) |
| static Domain | variableDomain (com.google.ortools.sat.IntegerVariableProto variable_proto) |
Constructor & Destructor Documentation
◆ SatHelper() [1/2]
|
inline |
Definition at line 17 of file SatHelper.java.
◆ SatHelper() [2/2]
|
inline |
Definition at line 96 of file SatHelper.java.
Member Function Documentation
◆ delete()
|
inline |
Definition at line 31 of file SatHelper.java.
◆ modelStats()
|
inlinestatic |
Definition at line 80 of file SatHelper.java.
◆ solve()
|
inlinestatic |
Definition at line 41 of file SatHelper.java.
◆ solverResponseStats()
|
inlinestatic |
Definition at line 84 of file SatHelper.java.
◆ solveWithParameters()
|
inlinestatic |
Definition at line 54 of file SatHelper.java.
◆ solveWithParametersAndSolutionCallback()
|
inlinestatic |
Definition at line 67 of file SatHelper.java.
◆ validateModel()
|
inlinestatic |
Definition at line 88 of file SatHelper.java.
◆ variableDomain()
|
inlinestatic |
Definition at line 92 of file SatHelper.java.
The documentation for this class was generated from the following file: