CspPowerSet Class
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Defines power-set domains.
Inheritance Hierarchy
System.Object
Microsoft.SolverFoundation.Solvers.CspComposite
Microsoft.SolverFoundation.Solvers.CspPowerSet
Namespace: Microsoft.SolverFoundation.Solvers
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public NotInheritable Class CspPowerSet _
Inherits CspComposite
public sealed class CspPowerSet : CspComposite
public ref class CspPowerSet sealed : public CspComposite
[<Sealed>]
type CspPowerSet =
class
inherit CspComposite
end
public final class CspPowerSet extends CspComposite
The CspPowerSet type exposes the following members.
Properties
| Name | Description | |
|---|---|---|
.gif "Public property") |
False | Gets the Boolean CspTerm {false}. (Inherited from CspComposite.) |
|
IsEmpty | Returns a value that indicates whether a model in a solver is empty. (Inherited from CspComposite.) |
|
Key | Gets the key of a composite data type. (Inherited from CspComposite.) |
|
Kind | Gets the type of values in a power-set domain. |
|
True | Gets the Boolean CspTerm {true}. (Inherited from CspComposite.) |
Top
Methods
| Name | Description | |
|---|---|---|
.gif "Public method") |
Abs | Computes the absolute value. (Inherited from CspComposite.) |
|
AddConstraints | Returns a value that indicates whether all composite-wise constraint functions added to a model are valid. (Inherited from CspComposite.) |
|
AddField | Adds a member. (Inherited from CspComposite.) |
|
And | Performs a Boolean AND operation. (Inherited from CspComposite.) |
|
AtMostMofN | Tests that at most m inputs are true. (Inherited from CspComposite.) |
|
Constant(Double) | Gets a term for the immutable real value k with double precision. (Inherited from CspComposite.) |
|
Constant(Int32) | Gets a term for the immutable value k. (Inherited from CspComposite.) |
|
Constant(Int32, Double) | Gets a term for the immutable real value k. (Inherited from CspComposite.) |
|
Constant(CspDomain, String) | Gets a term for the immutable symbol value k. (Inherited from CspComposite.) |
|
Equal(array<CspTerm[]) | Tests if all inputs are equal. (Inherited from CspComposite.) |
|
Equal(Int32, array<CspTerm[]) | Tests if all inputs are equal to a constant. (Inherited from CspComposite.) |
|
Equals | Determines whether the specified Object is equal to the current Object. (Inherited from Object.) |
|
ExactlyMofN | Tests if exactly m of the inputs are true. (Inherited from CspComposite.) |
|
Fields | Accesses the field of the composite that has the given key. (Inherited from CspComposite.) |
|
FilteredSum | Adds the conditional inputs. (Inherited from CspComposite.) |
.gif "Protected method") |
Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
|
GetHashCode | Serves as a hash function for a particular type. (Inherited from Object.) |
|
GetType | Gets the Type of the current instance. (Inherited from Object.) |
|
Greater(array<CspTerm[]) | Returns a value that indicates whether each input is greater than the following input. (Inherited from CspComposite.) |
|
Greater(Int32, array<CspTerm[]) | Returns a value that indicates whether a constant is greater than each input. (Inherited from CspComposite.) |
|
GreaterEqual(array<CspTerm[]) | Returns a value that indicates whether each input is greater than or equal to the following input. (Inherited from CspComposite.) |
|
GreaterEqual(Int32, array<CspTerm[]) | Returns a value that indicates whether a constant is greater than or equal to the input. (Inherited from CspComposite.) |
|
Implies | Tests for logical implication between two inputs. (Inherited from CspComposite.) |
|
Index(array<CspTerm[], CspTerm) | Returns the value of the inputs[index]. (Inherited from CspComposite.) |
|
Index(array<CspTerm[], array<CspTerm[]) | Returns the input value selected by the keys. (Inherited from CspComposite.) |
|
Index(array<array<CspTerm[][], CspTerm, CspTerm) | Returns the value of the inputs[row][column]. (Inherited from CspComposite.) |
|
Index(array<array<CspTerm[][], CspTerm, Int32) | Returns the value of the inputs[row][column]. (Inherited from CspComposite.) |
|
Index(array<array<CspTerm[][], Int32, CspTerm) | Returns the value of the inputs[row][column]. (Inherited from CspComposite.) |
|
IsElementOf | Returns a value that indicates if an input is a member of a domain. (Inherited from CspComposite.) |
|
Less(array<CspTerm[]) | Returns a value that indicates if an input is less than the following input. (Inherited from CspComposite.) |
|
Less(Int32, array<CspTerm[]) | Returns a value that indicates if an input is less than a constant. (Inherited from CspComposite.) |
|
LessEqual(array<CspTerm[]) | Returns a value that indicates if an input is less than or equal to the following input. (Inherited from CspComposite.) |
|
LessEqual(Int32, array<CspTerm[]) | Returns a value that indicates if an input is less than or equal to a constant. (Inherited from CspComposite.) |
|
MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
|
Neg | Negates the input. (Inherited from CspComposite.) |
|
Not | Performs the Boolean inverse of the input. (Inherited from CspComposite.) |
|
Or | Performs the Boolean OR of the inputs. (Inherited from CspComposite.) |
|
Power | Raises an input to the power of a specified value. (Inherited from CspComposite.) |
|
Product | Returns the product of the inputs. (Inherited from CspComposite.) |
|
Sum | Adds the inputs. (Inherited from CspComposite.) |
|
SumProduct | Performs the sum of the pairwise-product of the inputs. (Inherited from CspComposite.) |
|
TableDecimal | Creates a relation constraint by using the column variables and inputs. (Inherited from CspComposite.) |
|
TableDomain(array<CspTerm[], array<array<CspDomain[][]) | Creates a relation constraint by using the column variables and inputs. (Inherited from CspComposite.) |
|
TableDomain(array<CspTerm[], IEnumerable<IEnumerable<CspDomain>>) | Creates a relation constraint by using the column variables and inputs. (Inherited from CspComposite.) |
|
TableInteger | Creates a relation constraint by using the column variables and inputs. (Inherited from CspComposite.) |
|
TableSymbol | Creates a relation constraint by using the column variables and inputs. (Inherited from CspComposite.) |
|
TableTerm(array<CspTerm[], array<array<CspTerm[][]) | Creates a relation constraint by using the column variables and inputs. (Inherited from CspComposite.) |
|
TableTerm(array<CspTerm[], IEnumerable<IEnumerable<CspTerm>>) | Creates a relation constraint by using the column variables and inputs. (Inherited from CspComposite.) |
|
ToString | Converts a CspComposite object to its equivalent string representation. (Inherited from CspComposite.) |
|
Unequal(array<CspTerm[]) | Returns a value that indicates if every pairing of the inputs is unequal. (Inherited from CspComposite.) |
|
Unequal(Int32, array<CspTerm[]) | Returns a value that indicates if every input is unequal to a constant. (Inherited from CspComposite.) |
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.