CpSolverSolutionCallback

Detailed Description

Parent class to create a callback called at each solution.

From the parent class, it inherits the methods:

long numBooleans() 

to query the number of boolean variables created.

long numBranches() 

to query the number of branches explored so far.

long numConflicts() 

to query the number of conflicts created so far.

long numBinaryPropagations() 

to query the number of boolean propagations in the SAT solver so far.

long numIntegerPropagations() 

to query the number of integer propagations in the SAT solver so far.

double wallTime() 

to query wall time passed in the search so far.

double userTime() 

to query the user time passed in the search so far.

long objectiveValue() 

to get the best objective value found so far.

Definition at line 39 of file CpSolverSolutionCallback.java.

Public Member Functions
long	value (IntVar var)
	Returns the value of the variable in the current solution. More...
Boolean	booleanValue (Literal literal)
	Returns the Boolean value of the literal in the current solution. More...
void	onSolutionCallback ()
	Callback method to override. More...
synchronized void	delete ()
void	swigReleaseOwnership ()
void	swigTakeOwnership ()
long	numBooleans ()
long	numBranches ()
long	numConflicts ()
long	numBinaryPropagations ()
long	numIntegerPropagations ()
double	wallTime ()
double	userTime ()
double	objectiveValue ()
double	bestObjectiveBound ()
long	solutionIntegerValue (int index)
boolean	solutionBooleanValue (int index)
void	stopSearch ()

Protected Member Functions
void	swigDirectorDisconnect ()

Member Function Documentation

bestObjectiveBound()

double bestObjectiveBound ( )

inherited

Definition at line 90 of file SolutionCallback.java.

booleanValue()

Boolean booleanValue

(

Literal

literal

)

Returns the Boolean value of the literal in the current solution.

Definition at line 47 of file CpSolverSolutionCallback.java.

delete()

synchronized void delete ( )

inherited

Definition at line 29 of file SolutionCallback.java.

numBinaryPropagations()

long numBinaryPropagations ( )

inherited

Definition at line 70 of file SolutionCallback.java.

numBooleans()

long numBooleans ( )

inherited

Definition at line 58 of file SolutionCallback.java.

numBranches()

long numBranches ( )

inherited

Definition at line 62 of file SolutionCallback.java.

numConflicts()

long numConflicts ( )

inherited

Definition at line 66 of file SolutionCallback.java.

numIntegerPropagations()

long numIntegerPropagations ( )

inherited

Definition at line 74 of file SolutionCallback.java.

objectiveValue()

double objectiveValue ( )

inherited

Definition at line 86 of file SolutionCallback.java.

onSolutionCallback()

void onSolutionCallback

(

)

Callback method to override.

It will be called at each new solution.

Reimplemented from SolutionCallback.

Definition at line 53 of file CpSolverSolutionCallback.java.

solutionBooleanValue()

boolean solutionBooleanValue ( int  index )

inherited

Definition at line 98 of file SolutionCallback.java.

solutionIntegerValue()

long solutionIntegerValue ( int  index )

inherited

Definition at line 94 of file SolutionCallback.java.

stopSearch()

void stopSearch ( )

inherited

Definition at line 102 of file SolutionCallback.java.

swigDirectorDisconnect()

void swigDirectorDisconnect ( )

protectedinherited

Definition at line 39 of file SolutionCallback.java.

swigReleaseOwnership()

void swigReleaseOwnership ( )

inherited

Definition at line 44 of file SolutionCallback.java.

swigTakeOwnership()

void swigTakeOwnership ( )

inherited

Definition at line 49 of file SolutionCallback.java.

userTime()

double userTime ( )

inherited

Definition at line 82 of file SolutionCallback.java.

value()

long value

(

IntVar

var

)

Returns the value of the variable in the current solution.

Definition at line 41 of file CpSolverSolutionCallback.java.

wallTime()

double wallTime ( )

inherited

Definition at line 78 of file SolutionCallback.java.

---

The documentation for this class was generated from the following file:

• CpSolverSolutionCallback.java