|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Interface for a class that is used to create constraints on set variables
Method Summary | |
CspConstraint |
eqIntersection(CspSetVariable[] sources,
CspSetVariable target)
Constraint representing intersection( sources ) = target. |
CspConstraint |
eqIntersection(CspSetVariable x,
CspSetVariable y,
CspSetVariable z)
Constraint representing intersection( X, Y ) = Z. |
CspConstraint |
eqPartition(CspSetVariable[] sources,
CspSetVariable target)
Constraint representing partition( sources ) = target. |
CspConstraint |
eqPartition(CspSetVariable[] sources,
CspSetVariable target,
boolean advancedFilter)
Constraint representing partition( X, Y ) = Z that has more advanced filtering than the normal eqPartition constraint . |
CspConstraint |
eqPartition(CspSetVariable x,
CspSetVariable y,
CspSetVariable z)
Constraint representing partition( X, Y ) = Z. |
CspConstraint |
eqPartition(CspSetVariable x,
CspSetVariable y,
CspSetVariable z,
boolean advancedFilter)
Constraint representing partition( X, Y ) = Z that has more advanced filtering than the normal eqPartition constraint
Advanced filtering will reduce domains more than normal but takes longer to run. |
CspConstraint |
eqSubset(CspSetVariable a,
CspSetVariable b)
Creates new constraint representing B is a subset of A |
CspConstraint |
eqSubset(CspSetVariable a,
java.util.Set b)
Creates new constraint representing b is a subset of A |
CspConstraint |
eqSubset(java.util.Set a,
CspSetVariable b)
Creates new constraint representing B is a subset of a |
CspConstraint |
eqUnion(CspSetVariable[] sources,
CspSetVariable target)
Creates new union constraint representing union( sources ) = target |
CspConstraint |
eqUnion(CspSetVariable[] sources,
CspSetVariable target,
boolean advancedFilter)
Creates new union constraint that will filter the domains more than the normal eqUnion constraint , but will
take longer to run. |
CspConstraint |
eqUnion(CspSetVariable x,
CspSetVariable y,
CspSetVariable z)
Creates new union constraint representing union( X, Y ) = Z |
CspConstraint |
eqUnion(CspSetVariable x,
CspSetVariable y,
CspSetVariable z,
CspSetVariable intersect)
Creates new union constraint that can utilize a variable that is the intersection of X and Y variables to further reduce the target Z than the normal eqUnion constraint . |
CspConstraint |
memberOfSet(CspIntSetVariable set,
CspIntExpr expr)
Constrains a numeric expression to be a member of a set. |
CspConstraint |
notMemberOfSet(CspIntSetVariable set,
CspIntExpr expr)
Constrains a numeric expression to not be a member of a set. |
CspConstraint |
nullIntersection(CspSetVariable[] sources)
Creates new constraint representing null-intersection( sources ) |
CspConstraint |
nullIntersection(CspSetVariable a,
CspSetVariable b)
Creates new constraint representing null-intersection( A, B ) |
CspConstraint |
nullIntersection(CspSetVariable a,
java.util.Set constb)
Creates new constraint representing null-intersection( A, b ) |
CspConstraint |
nullIntersection(java.util.Set consta,
CspSetVariable b)
Creates new constraint representing null-intersection( a, B ) |
CspConstraint |
strictSubset(CspSetVariable a,
CspSetVariable b)
Creates new constraint representing B is a strict subset of A |
CspConstraint |
strictSubset(CspSetVariable a,
java.util.Set b)
Creates new constraint representing b is a strict subset of A |
CspConstraint |
strictSubset(java.util.Set a,
CspSetVariable b)
Creates new constraint representing B is a strict subset of a |
Method Detail |
public CspConstraint eqIntersection(CspSetVariable x, CspSetVariable y, CspSetVariable z)
x
- First set variable used to create intersectiony
- Second set variable used to create intersectionz
- Set variable that is constrained to be equal to
intersection of X and Y
public CspConstraint eqIntersection(CspSetVariable[] sources, CspSetVariable target)
sources
- Array of variables used to create intersectiontarget
- Set variable constrained equal to interesection of source variables
public CspConstraint eqPartition(CspSetVariable x, CspSetVariable y, CspSetVariable z)
x
- First variable used to form union constrained to have no common values with yy
- Second variable used to form union constrained to have no common values with xz
- Target variable that is constrained to be equal to the union of the sources
public CspConstraint eqPartition(CspSetVariable[] sources, CspSetVariable target)
sources
- Array of sources that form the union constrained to have no common valuestarget
- Target variable that is constrained to be equal to the union of the sources
public CspConstraint eqPartition(CspSetVariable x, CspSetVariable y, CspSetVariable z, boolean advancedFilter)
normal eqPartition constraint
Advanced filtering will reduce domains more than normal but takes longer to run.
x
- First variable used to form union constrained to have no common values with yy
- Second variable used to form union constrained to have no common values with xz
- Target variable that is constrained to be equal to the union of the sourcesadvancedFilter
- True if advanced filtering should be performed
public CspConstraint eqPartition(CspSetVariable[] sources, CspSetVariable target, boolean advancedFilter)
normal eqPartition constraint
.
Advanced filtering will reduce domains more than normal but takes longer to run.
sources
- Array of sources that form the union constrained to have no common valuestarget
- Target variable that is constrained to be equal to the union of the sourcesadvancedFilter
- True if advanced filtering should be performed
public CspConstraint eqUnion(CspSetVariable x, CspSetVariable y, CspSetVariable z)
x
- First variable used to form uniony
- Second variable used to form unionz
- Target variable that is constrained to be equal to the union of the sources
public CspConstraint eqUnion(CspSetVariable[] sources, CspSetVariable target)
sources
- Array of sources that form the uniontarget
- Target variable that is constrained to be equal to the union of the sources
public CspConstraint eqUnion(CspSetVariable x, CspSetVariable y, CspSetVariable z, CspSetVariable intersect)
normal eqUnion constraint
.
x
- First variable used to form uniony
- Second variable used to form unionz
- Target variable that is constrained to be equal to the union of the sourcesintersect
- This variable must be the intersection of X and Y for this constraint to
work properly
public CspConstraint eqUnion(CspSetVariable[] sources, CspSetVariable target, boolean advancedFilter)
normal eqUnion constraint
, but will
take longer to run.
sources
- Array of sources that form the uniontarget
- Target variable that is constrained to be equal to the union of the sourcesadvancedFilter
- True if advanced filtering should be performed
public CspConstraint nullIntersection(CspSetVariable[] sources)
sources
- Array of variables that will share no common values
public CspConstraint nullIntersection(CspSetVariable a, CspSetVariable b)
a
- First set variable in constraintb
- Second set variable in constraint
public CspConstraint nullIntersection(CspSetVariable a, java.util.Set constb)
a
- Set variable to constrainconstb
- Constant set of values not allowed in variable a
public CspConstraint nullIntersection(java.util.Set consta, CspSetVariable b)
consta
- Constant set of values not allowed in variable Bb
- Set variable to constrain
public CspConstraint eqSubset(CspSetVariable a, CspSetVariable b)
a
- First set variable in constraintb
- Second set variable in constraint
public CspConstraint eqSubset(java.util.Set a, CspSetVariable b)
a
- Constant set in constraintb
- Second set variable in constraint
public CspConstraint eqSubset(CspSetVariable a, java.util.Set b)
a
- First set variable in constraintb
- Constant set in constraint
public CspConstraint strictSubset(CspSetVariable a, CspSetVariable b)
a
- First set variable in constraintb
- Second set variable in constraint
public CspConstraint strictSubset(java.util.Set a, CspSetVariable b)
a
- Constant set in constraintb
- Second set variable in constraint
public CspConstraint strictSubset(CspSetVariable a, java.util.Set b)
a
- First set variable in constraintb
- Constant set in constraint
public CspConstraint memberOfSet(CspIntSetVariable set, CspIntExpr expr)
public CspConstraint notMemberOfSet(CspIntSetVariable set, CspIntExpr expr)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |