Inheritance diagram for SolutionModuloCounter:

Public Member Functions
	SolutionModuloCounter (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 ()

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

Package Functions inherited from Google.OrTools.Sat.SolutionCallback
Static Package Functions inherited from Google.OrTools.Sat.SolutionCallback
Properties inherited from SolutionCounter
int	SolutionCount `[get, set]`

Detailed Description

Definition at line 76 of file SatSolverTests.cs.

Constructor & Destructor Documentation

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

inline

Definition at line 78 of file SatSolverTests.cs.

override void SolutionModuloCounter.OnSolutionCallback ( )

inlinevirtual

Reimplemented from SolutionCounter.

Definition at line 86 of file SatSolverTests.cs.

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