Export (0) Print
Expand All

Model.AtMostMofN Method

Solver Foundation 3.0

[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)

public static Term AtMostMofN(
	int m,
	params Term[] terms
)

Parameters

m
Type: System.Int32
The number of inputs to test for.
terms
Type: 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.

ExceptionCondition
ArgumentException

The operation is not valid for the given inputs.

Show:
© 2014 Microsoft