CspListOperators.SublistEq Method (ConstraintSystem, array<Int32[], 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 if a subset of a list variable.

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

Syntax

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

Parameters

  • list1
    Type: array<System.Int32[]
    A list that is being tested to see if it is a subset of a list variable.

Return Value

Type: Microsoft.SolverFoundation.Solvers.CspTerm
A Boolean term that indicates if list1 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