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

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

See Also

Reference

Model Class

Microsoft.SolverFoundation.Services Namespace