Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
Implies Method

ConstraintSystem.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.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

public CspTerm Implies(
	CspTerm antecedent,
	CspTerm consequent
)

Parameters

antecedent
Type: Microsoft.SolverFoundation.Solvers.CspTerm
The first term.
consequent
Type: Microsoft.SolverFoundation.Solvers.CspTerm
The second term.

Return Value

Type: Microsoft.SolverFoundation.Solvers.CspTerm
A term that represents the result of the test for logical implication between two inputs.

Show:
© 2015 Microsoft