CspListOperators.SublistEq Method (ConstraintSystem, CspTerm, CspTerm)

Solver Foundation 3.0

[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)

public static CspTerm SublistEq(
	this ConstraintSystem solver,
	CspTerm listVar1,
	CspTerm listVar2
)

Parameters

solver
Type: Microsoft.SolverFoundation.Solvers.ConstraintSystem
A solver.
listVar1
Type: Microsoft.SolverFoundation.Solvers.CspTerm
A list variable that is being tested to see if it is a subset of another list variable.
listVar2
Type: Microsoft.SolverFoundation.Solvers.CspTerm
A list variable that is being tested to see if it is a superset of another list variable.

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).

Show: