Export (0) Print
Expand All

Model.Negate 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.]

Computes the arithmetic negation of a term.

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

public static Term Negate(
	Term term
)

Parameters

term
Type: Microsoft.SolverFoundation.Services.Term
A decision, formula, goal, or constraint.

Return Value

Type: Microsoft.SolverFoundation.Services.Term
The arithmetic negation of the term.

ExceptionCondition
ArgumentException

The operation is not valid for the given inputs.

Show:
© 2015 Microsoft