Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Google.OrTools.Sat.CpSolverSolutionCallback Class Reference

Parent class to create a callback called at each solution. More...

Detailed Description

Parent class to create a callback called at each solution.

Definition at line 25 of file SearchHelpers.cs.

Inheritance diagram for Google.OrTools.Sat.CpSolverSolutionCallback:
Google.OrTools.Sat.SolutionCallback Google.OrTools.Sat.ObjectiveSolutionPrinter SolutionCounter SolutionDivisionCounter SolutionModuloCounter

Public Member Functions

long Value (LinearExpr e)
 Returns the value of a linear expression in the current solution.
long Value (IntVar intVar)
 Returns the value of an integer variable in the current solution.
Boolean BooleanValue (ILiteral literal)
 Returns the Boolean value of a literal in the current solution.
Public Member Functions inherited from Google.OrTools.Sat.SolutionCallback
void Dispose ()
virtual void OnSolutionCallback ()
long NumBooleans ()
long NumBranches ()
long NumConflicts ()
long NumBinaryPropagations ()
long NumIntegerPropagations ()
double WallTime ()
double UserTime ()
double ObjectiveValue ()
double BestObjectiveBound ()
long SolutionIntegerValue (int index)
bool SolutionBooleanValue (int index)
void StopSearch ()
SWIGTYPE_p_operations_research__sat__CpSolverResponse Response ()
 SolutionCallback ()
delegate void SwigDelegateSolutionCallback_0 ()

Additional Inherited Members

Protected Member Functions inherited from Google.OrTools.Sat.SolutionCallback
virtual void Dispose (bool disposing)
Protected Attributes inherited from Google.OrTools.Sat.SolutionCallback
bool swigCMemOwn

Member Function Documentation

◆ BooleanValue()

Boolean Google.OrTools.Sat.CpSolverSolutionCallback.BooleanValue ( ILiteral literal)
inline

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

Definition at line 104 of file SearchHelpers.cs.

◆ Value() [1/2]

long Google.OrTools.Sat.CpSolverSolutionCallback.Value ( IntVar intVar)
inline

Returns the value of an integer variable in the current solution.

Definition at line 94 of file SearchHelpers.cs.

◆ Value() [2/2]

long Google.OrTools.Sat.CpSolverSolutionCallback.Value ( LinearExpr e)
inline

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

Definition at line 32 of file SearchHelpers.cs.

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