A specialized solution printer. More...

Inheritance diagram for Google.OrTools.Sat.ObjectiveSolutionPrinter:

Public Member Functions
	ObjectiveSolutionPrinter ()

override void	OnSolutionCallback ()

int	solutionCount ()

Public Member Functions inherited from Google.OrTools.Sat.CpSolverSolutionCallback
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 ()

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

Detailed Description

A specialized solution printer.

Definition at line 125 of file SearchHelpers.cs.

Constructor & Destructor Documentation

Google.OrTools.Sat.ObjectiveSolutionPrinter.ObjectiveSolutionPrinter ( )

inline

Definition at line 130 of file SearchHelpers.cs.

override void Google.OrTools.Sat.ObjectiveSolutionPrinter.OnSolutionCallback ( )

inlinevirtual

Definition at line 135 of file SearchHelpers.cs.

int Google.OrTools.Sat.ObjectiveSolutionPrinter.solutionCount ( )

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