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)
Syntax
'Declaration
Public Function Implies ( _
antecedent As CspTerm, _
consequent As CspTerm _
) As CspTerm
public CspTerm Implies(
CspTerm antecedent,
CspTerm consequent
)
public:
CspTerm^ Implies(
CspTerm^ antecedent,
CspTerm^ consequent
)
member Implies :
antecedent:CspTerm *
consequent:CspTerm -> CspTerm
public function Implies(
antecedent : CspTerm,
consequent : CspTerm
) : CspTerm
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.
.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.