Export (0) Print
Expand All

CspComposite.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:
© 2014 Microsoft