Package com.google.ortools.sat

Class SolveWrapper

java.lang.Object

com.google.ortools.sat.SolveWrapper

public class SolveWrapper
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

Constructor	Description
SolveWrapper()
SolveWrapper(long cPtr, boolean cMemoryOwn)

Method Summary

Modifier and Type	Method	Description
void	addBestBoundCallback(Consumer<Double> best_bound_callback)
void	addLogCallback(Consumer<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)

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

public static long getCPtr(SolveWrapper obj)

swigRelease

public static long swigRelease(SolveWrapper obj)

finalize

protected void finalize()

Overrides:

finalize in class 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(Consumer<String> log_callback)

addBestBoundCallback

public void addBestBoundCallback(Consumer<Double> best_bound_callback)

solve

public CpSolverResponse solve(CpModelProto model_proto)

stopSearch

public void stopSearch()