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


Public Function Implies ( _
    antecedent As CspTerm, _
    consequent As CspTerm _
) As CspTerm
public CspTerm Implies(
    CspTerm antecedent,
    CspTerm consequent
CspTerm^ Implies(
    CspTerm^ antecedent, 
    CspTerm^ consequent
member Implies : 
        antecedent:CspTerm * 
        consequent:CspTerm -> CspTerm 
public function Implies(
    antecedent : CspTerm, 
    consequent : CspTerm
) : CspTerm


Return Value

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

.NET Framework Security

See Also


ConstraintSystem Class

Microsoft.SolverFoundation.Solvers Namespace