Detailed Description

Definition at line 19 of file SolveAndPrintIntermediateSolutionsSampleSat.cs.

Public Member Functions
	VarArraySolutionPrinterWithObjective (IntVar[] variables)

override void	OnSolutionCallback ()

int	SolutionCount ()

long	Value (LinearExpr e)

Boolean	BooleanValue (ILiteral literal)

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

Google.OrTools.Sat.CpSolverResponse	Response ()

delegate void	SwigDelegateSolutionCallback_0 ()

Protected Attributes
bool	swigCMemOwn

Constructor & Destructor Documentation

◆ VarArraySolutionPrinterWithObjective()

VarArraySolutionPrinterWithObjective ( IntVar[] variables )

inline

Definition at line 21 of file SolveAndPrintIntermediateSolutionsSampleSat.cs.

Member Function Documentation

◆ BestObjectiveBound()

double BestObjectiveBound ( )

inlineinherited

Definition at line 91 of file SolutionCallback.cs.

◆ BooleanValue()

Boolean BooleanValue ( ILiteral literal )

inlineinherited

Definition at line 77 of file SearchHelpers.cs.

◆ Dispose()

virtual void Dispose ( )

inlinevirtualinherited

Definition at line 34 of file SolutionCallback.cs.

◆ NumBinaryPropagations()

long NumBinaryPropagations ( )

inlineinherited

Definition at line 66 of file SolutionCallback.cs.

◆ NumBooleans()

long NumBooleans ( )

inlineinherited

Definition at line 51 of file SolutionCallback.cs.

◆ NumBranches()

long NumBranches ( )

inlineinherited

Definition at line 56 of file SolutionCallback.cs.

◆ NumConflicts()

long NumConflicts ( )

inlineinherited

Definition at line 61 of file SolutionCallback.cs.

◆ NumIntegerPropagations()

long NumIntegerPropagations ( )

inlineinherited

Definition at line 71 of file SolutionCallback.cs.

◆ ObjectiveValue()

double ObjectiveValue ( )

inlineinherited

Definition at line 86 of file SolutionCallback.cs.

◆ OnSolutionCallback()

override void OnSolutionCallback ( )

inlinevirtual

Reimplemented from SolutionCallback.

Definition at line 26 of file SolveAndPrintIntermediateSolutionsSampleSat.cs.

◆ Response()

Google.OrTools.Sat.CpSolverResponse Response ( )

inlineinherited

Definition at line 110 of file SolutionCallback.cs.

◆ SolutionBooleanValue()

bool SolutionBooleanValue ( int index )

inlineinherited

Definition at line 101 of file SolutionCallback.cs.

◆ SolutionCount()

int SolutionCount ( )

inline

Definition at line 40 of file SolveAndPrintIntermediateSolutionsSampleSat.cs.

◆ SolutionIntegerValue()

long SolutionIntegerValue ( int index )

inlineinherited

Definition at line 96 of file SolutionCallback.cs.

◆ StopSearch()

void StopSearch ( )

inlineinherited

Definition at line 106 of file SolutionCallback.cs.

◆ SwigDelegateSolutionCallback_0()

delegate void SwigDelegateSolutionCallback_0 ( )

inherited

◆ UserTime()

double UserTime ( )

inlineinherited

Definition at line 81 of file SolutionCallback.cs.

◆ Value()

long Value ( LinearExpr e )

inlineinherited

Definition at line 22 of file SearchHelpers.cs.

◆ WallTime()

double WallTime ( )

inlineinherited

Definition at line 76 of file SolutionCallback.cs.

Member Data Documentation

◆ swigCMemOwn

bool swigCMemOwn

protectedinherited

Definition at line 19 of file SolutionCallback.cs.

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

SolveAndPrintIntermediateSolutionsSampleSat.cs