Detailed Description

Definition at line 46 of file SatSolverTests.cs.

Inheritance diagram for SolutionDivisionCounter:

Public Member Functions
	SolutionDivisionCounter (int result, IntVar a, IntVar b, ITestOutputHelper output)
override void	OnSolutionCallback ()
Public Member Functions inherited from SolutionCounter
	SolutionCounter ()
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
Properties inherited from SolutionCounter
int	SolutionCount `[get, set]`

Constructor & Destructor Documentation

SolutionDivisionCounter.SolutionDivisionCounter	(	int	result,
		IntVar	a,
		IntVar	b,
		ITestOutputHelper	output )

inline

Definition at line 48 of file SatSolverTests.cs.

override void SolutionDivisionCounter.OnSolutionCallback ( )

inlinevirtual

Reimplemented from SolutionCounter.

Definition at line 56 of file SatSolverTests.cs.

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