Detailed Description

Definition at line 21 of file SatSolverTests.cs.

Inheritance diagram for SolutionCounter:

Public Member Functions
	SolutionCounter ()
override void	OnSolutionCallback ()
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 ()

Properties
int	SolutionCount `[get, set]`

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

Constructor & Destructor Documentation

SolutionCounter.SolutionCounter ( )

inline

Console.WriteLine("SolutionCounter Ctor");

Definition at line 23 of file SatSolverTests.cs.

override void SolutionCounter.OnSolutionCallback ( )

inlinevirtual

Definition at line 29 of file SatSolverTests.cs.

int SolutionCounter.SolutionCount

getset

Definition at line 34 of file SatSolverTests.cs.

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