public class SolutionCallback
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Constructor and Description |
---|
SolutionCallback() |
SolutionCallback(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
double |
bestObjectiveBound() |
void |
delete() |
protected void |
finalize() |
static long |
getCPtr(SolutionCallback obj) |
long |
numBinaryPropagations() |
long |
numBooleans() |
long |
numBranches() |
long |
numConflicts() |
long |
numIntegerPropagations() |
double |
objectiveValue() |
void |
onSolutionCallback() |
boolean |
solutionBooleanValue(int index) |
long |
solutionIntegerValue(int index) |
void |
stopSearch() |
protected void |
swigDirectorDisconnect() |
static long |
swigRelease(SolutionCallback obj) |
void |
swigReleaseOwnership() |
void |
swigTakeOwnership() |
double |
userTime() |
double |
wallTime() |
public SolutionCallback(long cPtr, boolean cMemoryOwn)
public SolutionCallback()
public static long getCPtr(SolutionCallback obj)
public static long swigRelease(SolutionCallback obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
protected void swigDirectorDisconnect()
public void swigReleaseOwnership()
public void swigTakeOwnership()
public void onSolutionCallback()
public long numBooleans()
public long numBranches()
public long numConflicts()
public long numBinaryPropagations()
public long numIntegerPropagations()
public double wallTime()
public double userTime()
public double objectiveValue()
public double bestObjectiveBound()
public long solutionIntegerValue(int index)
public boolean solutionBooleanValue(int index)
public void stopSearch()
Copyright © 2025. All rights reserved.