Model.AtMostMofN Method
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Tests whether a maximum of m inputs are true.
Namespace: Microsoft.SolverFoundation.Services
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public Shared Function AtMostMofN ( _
m As Integer, _
ParamArray terms As Term() _
) As Term
public static Term AtMostMofN(
int m,
params Term[] terms
)
public:
static Term^ AtMostMofN(
int m,
... array<Term^>^ terms
)
static member AtMostMofN :
m:int *
terms:Term[] -> Term
public static function AtMostMofN(
m : int,
... terms : Term[]
) : Term
Parameters
- m
Type: System.Int32
The number of inputs to test for.
- terms
Type: array<Microsoft.SolverFoundation.Services.Term[]
A query.
Return Value
Type: Microsoft.SolverFoundation.Services.Term
1 if at most m inputs are true or nonzero; otherwise, 0.
Exceptions
| Exception | Condition |
|---|---|
| ArgumentException | The operation is not valid for the given inputs. |
.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.