Model.Not Method
[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)
Syntax
'Declaration
Public Shared Function Not ( _
term As Term _
) As Term
public static Term Not(
Term term
)
public:
static Term^ Not(
Term^ term
)
static member Not :
term:Term -> Term
public static function Not(
term : 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.
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.