Model.AllDifferent Method
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Ensures that all terms in a model are different.
Namespace: Microsoft.SolverFoundation.Services
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public Shared Function AllDifferent ( _
ParamArray terms As Term() _
) As Term
public static Term AllDifferent(
params Term[] terms
)
public:
static Term^ AllDifferent(
... array<Term^>^ terms
)
static member AllDifferent :
terms:Term[] -> Term
public static function AllDifferent(
... terms : Term[]
) : Term
Parameters
- terms
Type: array<Microsoft.SolverFoundation.Services.Term[]
A decision, formula, goal, or constraint.
Return Value
Type: Microsoft.SolverFoundation.Services.Term
1 if all inputs are pair-wise different; 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.