Package com.google.ortools.sat
Class SolveWrapper
java.lang.Object
com.google.ortools.sat.SolveWrapper
public class SolveWrapper
extends java.lang.Object
-
Field Summary
Fields Modifier and Type Field Description protected booleanswigCMemOwn -
Constructor Summary
Constructors Constructor Description SolveWrapper()SolveWrapper(long cPtr, boolean cMemoryOwn) -
Method Summary
Modifier and Type Method Description voidaddLogCallback(java.util.function.Consumer<java.lang.String> log_callback)voidaddSolutionCallback(SolutionCallback callback)voidclearSolutionCallback(SolutionCallback callback)voiddelete()protected voidfinalize()protected static longgetCPtr(SolveWrapper obj)voidsetParameters(SatParameters parameters)CpSolverResponsesolve(CpModelProto model_proto)voidstopSearch()Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
swigCMemOwn
protected transient boolean swigCMemOwn
-
-
Constructor Details
-
SolveWrapper
public SolveWrapper(long cPtr, boolean cMemoryOwn) -
SolveWrapper
public SolveWrapper()
-
-
Method Details
-
getCPtr
-
finalize
protected void finalize()- Overrides:
finalizein classjava.lang.Object
-
delete
public void delete() -
setParameters
-
addSolutionCallback
-
clearSolutionCallback
-
addLogCallback
public void addLogCallback(java.util.function.Consumer<java.lang.String> log_callback) -
solve
-
stopSearch
public void stopSearch()
-