SatSolution Constructor
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Initializes a new instance of the SatSolution class.
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public Sub New ( _
rglit As Literal(), _
rgilitGuess As Integer(), _
cvRestart As Integer, _
cvBackTrack As Integer, _
cclLearned As Integer, _
learnedLiteralCount As Integer, _
ts As TimeSpan _
)
public SatSolution(
Literal[] rglit,
int[] rgilitGuess,
int cvRestart,
int cvBackTrack,
int cclLearned,
int learnedLiteralCount,
TimeSpan ts
)
public:
SatSolution(
array<Literal>^ rglit,
array<int>^ rgilitGuess,
int cvRestart,
int cvBackTrack,
int cclLearned,
int learnedLiteralCount,
TimeSpan ts
)
new :
rglit:Literal[] *
rgilitGuess:int[] *
cvRestart:int *
cvBackTrack:int *
cclLearned:int *
learnedLiteralCount:int *
ts:TimeSpan -> SatSolution
public function SatSolution(
rglit : Literal[],
rgilitGuess : int[],
cvRestart : int,
cvBackTrack : int,
cclLearned : int,
learnedLiteralCount : int,
ts : TimeSpan
)
Parameters
- rglit
Type: array<Microsoft.SolverFoundation.Solvers.Literal[]
A collection of literals.
- rgilitGuess
Type: array<System.Int32[]
A collection of literals that represent choices.
- cvRestart
Type: System.Int32
The number of restarts.
- cvBackTrack
Type: System.Int32
The number of backtracks.
- cclLearned
Type: System.Int32
The number of learned clauses.
- learnedLiteralCount
Type: System.Int32
The number of learned literals.
- ts
Type: System.TimeSpan
The amount of time spent in a search.
.NET Framework Security
- Full trust for the immediate caller. This member cannot be used by partially trusted code. For more information, see Using Libraries from Partially Trusted Code.