CspListOperators.SublistEq Method (ConstraintSystem, CspTerm, CspTerm)

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Creates a term that indicates if a list variable is a subset of another list variable.

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

Syntax

'Declaration
<ExtensionAttribute> _
Public Shared Function SublistEq ( _
    solver As ConstraintSystem, _
    listVar1 As CspTerm, _
    listVar2 As CspTerm _
) As CspTerm
public static CspTerm SublistEq(
    this ConstraintSystem solver,
    CspTerm listVar1,
    CspTerm listVar2
)
[ExtensionAttribute]
public:
static CspTerm^ SublistEq(
    ConstraintSystem^ solver, 
    CspTerm^ listVar1, 
    CspTerm^ listVar2
)
static member SublistEq : 
        solver:ConstraintSystem * 
        listVar1:CspTerm * 
        listVar2:CspTerm -> CspTerm 
public static function SublistEq(
    solver : ConstraintSystem, 
    listVar1 : CspTerm, 
    listVar2 : CspTerm
) : CspTerm

Parameters

Return Value

Type: Microsoft.SolverFoundation.Solvers.CspTerm
A Boolean term that indicates whether listVar1 is a subset of listVar2.

Usage Note

In Visual Basic and C#, you can call this method as an instance method on any object of type ConstraintSystem. When you use instance method syntax to call this method, omit the first parameter. For more information, see Extension Methods (Visual Basic) or Extension Methods (C# Programming Guide).

.NET Framework Security

See Also

Reference

CspListOperators Class

SublistEq Overload

Microsoft.SolverFoundation.Solvers Namespace