Model.Implies Method

Solver Foundation 3.0

[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)

public static Term Implies(
	Term antecedent,
	Term consequence
)

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.

ExceptionCondition
ArgumentException

The operation is not valid for the given inputs.

Logical implication means that if A is true, then B is also true.

Show: