SatSolution.Pos Property
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Gets a collection of all positive literals.
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public ReadOnly Property Pos As IEnumerable(Of Integer)
public IEnumerable<int> Pos { get; }
public:
property IEnumerable<int>^ Pos {
IEnumerable<int>^ get ();
}
member Pos : IEnumerable<int>
function get Pos () : IEnumerable<int>
Property Value
Type: System.Collections.Generic.IEnumerable<Int32>
A collection of all positive literals.
.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.