public class SolveWrapper
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Constructor and Description |
---|
SolveWrapper() |
SolveWrapper(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
addBestBoundCallback(java.util.function.Consumer<java.lang.Double> best_bound_callback) |
void |
addLogCallback(java.util.function.Consumer<java.lang.String> log_callback) |
void |
addSolutionCallback(SolutionCallback callback) |
void |
clearSolutionCallback(SolutionCallback callback) |
void |
delete() |
protected void |
finalize() |
static long |
getCPtr(SolveWrapper obj) |
void |
setParameters(SatParameters parameters) |
CpSolverResponse |
solve(CpModelProto model_proto) |
void |
stopSearch() |
static long |
swigRelease(SolveWrapper obj) |
public SolveWrapper(long cPtr, boolean cMemoryOwn)
public SolveWrapper()
public static long getCPtr(SolveWrapper obj)
public static long swigRelease(SolveWrapper obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public void setParameters(SatParameters parameters)
public void addSolutionCallback(SolutionCallback callback)
public void clearSolutionCallback(SolutionCallback callback)
public void addLogCallback(java.util.function.Consumer<java.lang.String> log_callback)
public void addBestBoundCallback(java.util.function.Consumer<java.lang.Double> best_bound_callback)
public CpSolverResponse solve(CpModelProto model_proto)
public void stopSearch()
Copyright © 2025. All rights reserved.