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

Inheritance diagram for Google.OrTools.Sat.CpSolverSolutionCallback:

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

Google.OrTools.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

Detailed Description

Parent class to create a callback called at each solution.

Definition at line 25 of file SearchHelpers.cs.

Member Function Documentation

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.

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.

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: