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
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddLogCallback(java.util.function.Consumer<java.lang.String> log_callback)voidaddSolutionCallback(SolutionCallback callback)voidclearSolutionCallback(SolutionCallback callback)voiddelete()protected voidfinalize()static longgetCPtr(SolveWrapper obj)voidsetParameters(SatParameters parameters)CpSolverResponsesolve(CpModelProto model_proto)voidstopSearch()static longswigRelease(SolveWrapper obj)
-
-
-
Method Detail
-
getCPtr
public static long getCPtr(SolveWrapper obj)
-
swigRelease
public static long swigRelease(SolveWrapper obj)
-
finalize
protected void finalize()
- Overrides:
finalizein classjava.lang.Object
-
delete
public void delete()
-
setParameters
public void setParameters(SatParameters parameters)
-
addSolutionCallback
public void addSolutionCallback(SolutionCallback callback)
-
clearSolutionCallback
public void clearSolutionCallback(SolutionCallback callback)
-
addLogCallback
public void addLogCallback(java.util.function.Consumer<java.lang.String> log_callback)
-
solve
public CpSolverResponse solve(CpModelProto model_proto)
-
stopSearch
public void stopSearch()
-
-