Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
Export (0) Print
Expand All

Model.Not 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 logical negation of a term.

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

public static Term Not(
	Term term
)

Parameters

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

Return Value

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

ExceptionCondition
ArgumentException

The operation is not valid for the given inputs.

Show:
© 2015 Microsoft