[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.
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
'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
The first term.
The second term.
1 if the antecedent is false (zero) or the consequence is true (nonzero); otherwise, 0.
The operation is not valid for the given inputs.
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.