Model.Implies Method
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Tests for logical implication between two inputs.
Namespace: Microsoft.SolverFoundation.Services
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public Shared Function Implies ( _
antecedent As Term, _
consequence As Term _
) As Term
public static Term Implies(
Term antecedent,
Term consequence
)
public:
static Term^ Implies(
Term^ antecedent,
Term^ consequence
)
static member Implies :
antecedent:Term *
consequence:Term -> Term
public static function Implies(
antecedent : Term,
consequence : Term
) : Term
Parameters
- antecedent
Type: Microsoft.SolverFoundation.Services.Term
The first term.
- consequence
Type: Microsoft.SolverFoundation.Services.Term
The second term.
Return Value
Type: Microsoft.SolverFoundation.Services.Term
1 if the antecedent is false (zero) or the consequence is true (nonzero); otherwise, 0.
Exceptions
| Exception | Condition |
|---|---|
| ArgumentException | The operation is not valid for the given inputs. |
Remarks
Logical implication means that if A is true, then B is also true.
.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.