CspSetOperators Class

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

Defines set operators for models.

Inheritance Hierarchy

System.Object
  Microsoft.SolverFoundation.Solvers.CspSetOperators

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

Syntax

'Declaration
<ExtensionAttribute> _
Public NotInheritable Class CspSetOperators

public static class CspSetOperators

[ExtensionAttribute]
public ref class CspSetOperators abstract sealed

[<AbstractClass>]
[<Sealed>]
type CspSetOperators =  class end

public final class CspSetOperators

The CspSetOperators type exposes the following members.

Methods

	Name	Description
	Cardinality	Counts the number of elements in a set variable.
	ConstantDecimalSet	Creates a constant decimal set.
	ConstantIntegerSet	Creates a constant integer set.
	ConstantSymbolSet	Creates a constant symbol set.
	CreatePowerSet	Creates a power set to use as the domain for baseline.
	Difference	Computes the difference between two sets.
	Intersection	Computes the intersection between two sets.
	MemberOf(ConstraintSystem, CspTerm, CspTerm)	Creates a term that indicates whether a value is a member of a set variable.
	MemberOf(ConstraintSystem, CspTerm, Int32())	Creates a term that indicates whether a value is a member of a set.
	MemberOf(ConstraintSystem, Int32, CspTerm)	Creates a term that indicates whether a value is a member of a set variable.
	SetEqual(ConstraintSystem, CspTerm, CspTerm)	Creates a term that indicates whether two set variables are equal.
	SetEqual(ConstraintSystem, CspTerm, Int32())	Creates a term that indicates whether a set variable is equal to a set.
	SetEqual(ConstraintSystem, Int32(), CspTerm)	Creates a term that indicates whether a set is equal to a set variable.
	SubsetEq(ConstraintSystem, CspTerm, CspTerm)	Creates a term that indicates if a set variable is a subset of another set variable.
	SubsetEq(ConstraintSystem, CspTerm, Int32())	Creates a term that indicates if a set variable is a subset of another set.
	SubsetEq(ConstraintSystem, Int32(), CspTerm)	Creates a term that indicates if a set if a subset of a set variable.
	Union	Creates a term that represents the union of two sets.

Top

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

See Also

Reference

Microsoft.SolverFoundation.Solvers Namespace