Export (0) Print
Expand All

SatSolution.NegGuess Property

Solver Foundation 3.0

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Gets all literals that represent choices and are negative.

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

public IEnumerable<int> NegGuess { get; }

Property Value

Type: System.Collections.Generic.IEnumerable<Int32>
The literals that represent choices and are negative.

Show:
© 2014 Microsoft