Inheritance diagram for com.google.ortools.sat.CpSolverSolutionCallback:

Public Member Functions
long	value (LinearArgument expr)

Boolean	booleanValue (Literal literal)

void	onSolutionCallback ()

long	value (LinearArgument expr)

Boolean	booleanValue (Literal literal)

void	onSolutionCallback ()

Public Member Functions inherited from com.google.ortools.sat.SolutionCallback
	SolutionCallback (long cPtr, boolean cMemoryOwn)

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 ()

	SolutionCallback ()

Additional Inherited Members
Static Public Member Functions inherited from com.google.ortools.sat.SolutionCallback
static long	getCPtr (SolutionCallback obj)

static long	swigRelease (SolutionCallback obj)

Protected Member Functions inherited from com.google.ortools.sat.SolutionCallback
void	finalize ()

void	swigDirectorDisconnect ()

Protected Attributes inherited from com.google.ortools.sat.SolutionCallback
transient boolean	swigCMemOwn

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.

Member Function Documentation

◆ booleanValue() [1/2]

Boolean com.google.ortools.sat.CpSolverSolutionCallback.booleanValue ( Literal literal )

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

Definition at line 51 of file CpSolverSolutionCallback.java.

◆ booleanValue() [2/2]

Boolean com.google.ortools.sat.CpSolverSolutionCallback.booleanValue ( Literal literal )

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

Definition at line 51 of file CpSolverSolutionCallback.java.

◆ onSolutionCallback() [1/2]

void com.google.ortools.sat.CpSolverSolutionCallback.onSolutionCallback ( )

Callback method to override. It will be called at each new solution.

Reimplemented from com.google.ortools.sat.SolutionCallback.

Definition at line 57 of file CpSolverSolutionCallback.java.

◆ onSolutionCallback() [2/2]

void com.google.ortools.sat.CpSolverSolutionCallback.onSolutionCallback ( )

Callback method to override. It will be called at each new solution.

Reimplemented from com.google.ortools.sat.SolutionCallback.

Definition at line 57 of file CpSolverSolutionCallback.java.

◆ value() [1/2]

long com.google.ortools.sat.CpSolverSolutionCallback.value ( LinearArgument expr )

Returns the value of the linear expression in the current solution.

Definition at line 41 of file CpSolverSolutionCallback.java.

◆ value() [2/2]