[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.
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
'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
A decision, formula, goal, or constraint.
The logical negation of the term.
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.