DotNet Reference
DotNet Reference
Detailed Description
Definition at line 18 of file ChannelingSampleSat.cs.
Protected Member Functions | |
| virtual void | Dispose (bool disposing) |
Protected Attributes | |
| bool | swigCMemOwn |
Constructor & Destructor Documentation
◆ VarArraySolutionPrinter() [1/6]
|
inline |
Definition at line 20 of file ChannelingSampleSat.cs.
◆ VarArraySolutionPrinter() [2/6]
|
inline |
Definition at line 22 of file CpIsFunSat.cs.
◆ VarArraySolutionPrinter() [3/6]
|
inline |
Definition at line 20 of file EarlinessTardinessCostSampleSat.cs.
◆ VarArraySolutionPrinter() [4/6]
|
inline |
Definition at line 21 of file SearchForAllSolutionsSampleSat.cs.
◆ VarArraySolutionPrinter() [5/6]
|
inline |
Definition at line 21 of file SolutionHintingSampleSat.cs.
◆ VarArraySolutionPrinter() [6/6]
|
inline |
Definition at line 20 of file StepFunctionSampleSat.cs.
Member Function Documentation
◆ BestObjectiveBound()
|
inlineinherited |
Definition at line 95 of file SolutionCallback.cs.
◆ BooleanValue()
|
inlineinherited |
Definition at line 77 of file SearchHelpers.cs.
◆ Dispose() [1/2]
|
inlineinherited |
Definition at line 34 of file SolutionCallback.cs.
◆ Dispose() [2/2]
|
inlineprotectedvirtualinherited |
Definition at line 39 of file SolutionCallback.cs.
◆ NumBinaryPropagations()
|
inlineinherited |
Definition at line 70 of file SolutionCallback.cs.
◆ NumBooleans()
|
inlineinherited |
Definition at line 55 of file SolutionCallback.cs.
◆ NumBranches()
|
inlineinherited |
Definition at line 60 of file SolutionCallback.cs.
◆ NumConflicts()
|
inlineinherited |
Definition at line 65 of file SolutionCallback.cs.
◆ NumIntegerPropagations()
|
inlineinherited |
Definition at line 75 of file SolutionCallback.cs.
◆ ObjectiveValue()
|
inlineinherited |
Definition at line 90 of file SolutionCallback.cs.
◆ OnSolutionCallback() [1/6]
|
inlinevirtual |
Reimplemented from SolutionCallback.
Definition at line 25 of file ChannelingSampleSat.cs.
◆ OnSolutionCallback() [2/6]
|
inlinevirtual |
Reimplemented from SolutionCallback.
Definition at line 25 of file StepFunctionSampleSat.cs.
◆ OnSolutionCallback() [3/6]
|
inlinevirtual |
Reimplemented from SolutionCallback.
Definition at line 25 of file EarlinessTardinessCostSampleSat.cs.
◆ OnSolutionCallback() [4/6]
|
inlinevirtual |
Reimplemented from SolutionCallback.
Definition at line 26 of file SearchForAllSolutionsSampleSat.cs.
◆ OnSolutionCallback() [5/6]
|
inlinevirtual |
Reimplemented from SolutionCallback.
Definition at line 26 of file SolutionHintingSampleSat.cs.
◆ OnSolutionCallback() [6/6]
|
inlinevirtual |
Reimplemented from SolutionCallback.
Definition at line 27 of file CpIsFunSat.cs.
◆ Response()
|
inlineinherited |
Definition at line 114 of file SolutionCallback.cs.
◆ SolutionBooleanValue()
|
inlineinherited |
Definition at line 105 of file SolutionCallback.cs.
◆ SolutionCount() [1/3]
|
inline |
Definition at line 40 of file SolutionHintingSampleSat.cs.
◆ SolutionCount() [2/3]
|
inline |
Definition at line 40 of file SearchForAllSolutionsSampleSat.cs.
◆ SolutionCount() [3/3]
|
inline |
Definition at line 40 of file CpIsFunSat.cs.
◆ SolutionIntegerValue()
|
inlineinherited |
Definition at line 100 of file SolutionCallback.cs.
◆ StopSearch()
|
inlineinherited |
Definition at line 110 of file SolutionCallback.cs.
◆ SwigDelegateSolutionCallback_0()
|
inherited |
◆ UserTime()
|
inlineinherited |
Definition at line 85 of file SolutionCallback.cs.
◆ Value()
|
inlineinherited |
Definition at line 22 of file SearchHelpers.cs.
◆ WallTime()
|
inlineinherited |
Definition at line 80 of file SolutionCallback.cs.
Member Data Documentation
◆ swigCMemOwn
|
protectedinherited |
Definition at line 19 of file SolutionCallback.cs.
The documentation for this class was generated from the following files: