| Package | Description |
|---|---|
| org.jacop.examples.set | |
| org.jacop.fz | |
| org.jacop.set.constraints | |
| org.jacop.set.core | |
| org.jacop.set.search |
| Modifier and Type | Field and Description |
|---|---|
Search<SetVar> |
ExampleSet.search
It specifies the search procedure used by a given example.
|
List<SetVar> |
ExampleSet.vars
It contains all variables used within a specific example.
|
| Modifier and Type | Method and Description |
|---|---|
Search<SetVar> |
ExampleSet.getSearch()
It returns the search used within an example.
|
List<SetVar> |
ExampleSet.getSearchVariables()
It returns an array list of variables used to model the example.
|
| Modifier and Type | Method and Description |
|---|---|
SetVar |
Tables.getSetVariable(String ident)
It returns the set variable of the given identity.
|
SetVar[] |
Tables.getSetVariableArray(String ident)
It returns the array of set variables of the given identity.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Tables.addSetVariable(String ident,
SetVar var)
It adds the set variable of the given identity.
|
void |
Tables.addSetVariableArray(String ident,
SetVar[] array)
It stores the array of the set variables with the specified identity.
|
| Modifier and Type | Field and Description |
|---|---|
SetVar |
AdiffBeqC.a
It specifies set variable a.
|
SetVar |
AdisjointB.a
It specifies set variable a.
|
SetVar |
AeqB.a
It specifies set variable a, which must be equal to set variable b.
|
SetVar |
AeqS.a
It specifies set variable a, which must be equal to set variable b.
|
SetVar |
AinB.a
It specifies variable a.
|
SetVar |
AinS.a
It specifies set variable a.
|
SetVar |
AintersectBeqC.a
It specifies set variable a.
|
SetVar |
AleB.a
It specifies the first variable of the constraint
|
SetVar |
AltB.a
It specifies the first variable of the constraint
|
SetVar |
AunionBeqC.a
It specifies set variable a.
|
SetVar |
CardA.a
It specifies a set variable x which is being restricted.
|
SetVar |
CardAeqX.a
It specifies set variable a which is being restricted.
|
SetVar |
EinA.a
It specifies the set variable which must contain a specified element.
|
SetVar |
Lex.a
Deprecated.
It specifies a list on which element a lex relationship holds for every
two consecutive variables.
|
SetVar |
Match.a
It specifies a set variable whose values are being matched against integer variables
from the list.
|
SetVar |
SinA.a
It specifies variable a within which it must contains set s.
|
SetVar |
SumWeightedSet.a
A set variable a whose elements contribute with their weight to the sum.
|
SetVar |
XeqA.a
It specifies variable b.
|
SetVar |
XinA.a
It specifies variable b.
|
SetVar |
AdiffBeqC.b
It specifies set variable b.
|
SetVar |
AdisjointB.b
It specifies set variable b.
|
SetVar |
AeqB.b
It specifies set variable b, which must be equal to set variable a.
|
SetVar |
AinB.b
It specifies variable b.
|
SetVar |
AintersectBeqC.b
It specifies set variable b.
|
SetVar |
AleB.b
It specifies the second variable of the constraint
|
SetVar |
AltB.b
It specifies the second variable of the constraint
|
SetVar |
AunionBeqC.b
It specifies set variable b.
|
SetVar |
Lex.b
Deprecated.
It specifies a list on which element a lex relationship holds for every
two consecutive variables.
|
SetVar |
AdiffBeqC.c
It specifies set variable c.
|
SetVar |
AintersectBeqC.c
It specifies set variable c.
|
SetVar |
AunionBeqC.c
It specifies set variable c.
|
SetVar[] |
ElementSetVariable.list
It specifies list of variables within an element constraint list[index - indexOffset] = value.
|
SetVar |
ElementSet.value
It specifies the set variable which is equal to one of the sets from the list as
indicated by int variable index.
|
SetVar |
ElementSetVariable.value
It specifies variable value within an element constraint list[index - indexOffset] = value.
|
| Constructor and Description |
|---|
AdiffBeqC(SetVar a,
SetVar b,
SetVar c)
It constructs an AdiffBeqC constraint to restrict the domain of the variables A, B and C.
|
AdisjointB(SetVar a,
SetVar b)
It constructs a disjont set constraint to restrict the domains of the variables A and B.
|
AeqB(SetVar a,
SetVar b)
It constructs an AeqB constraint to restrict the domain of the variables.
|
AeqS(SetVar a,
IntDomain set)
It constructs an AeqS constraint to restrict the domain of the variables.
|
AinB(SetVar a,
SetVar b)
It constructs an AinB constraint to restrict the domain of the variables A and B.
|
AinB(SetVar a,
SetVar b,
boolean strict)
It constructs an AinB constraint to restrict the domain of the variables A and B.
|
AinS(SetVar a,
IntDomain set)
It constructs a constraint that makes sure that value of set variable a is contained
within a provided set.
|
AinS(SetVar a,
IntDomain set,
boolean strict)
It constructs a constraint that makes sure that value of set variable a is contained
within a provided set.
|
AintersectBeqC(SetVar a,
SetVar b,
SetVar c)
It constructs an AintersectBeqC constraint.
|
AleB(SetVar a,
SetVar b)
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
|
AltB(SetVar a,
SetVar b)
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
|
AunionBeqC(SetVar a,
SetVar b,
SetVar c)
It constructs an AunionBeqC constraint to restrict the domain of the variables A, B and C.
|
CardA(SetVar a,
int c)
It constructs a cardinality constraint to restrict the number of elements
in the set assigned to a set variable a.
|
CardA(SetVar a,
IntDomain c)
It constructs a cardinality constraint to restrict the number of elements
in the set assigned to set variable a.
|
CardA(SetVar a,
int min,
int max)
It constructs a cardinality constraint to restrict the number of elements
in the set assigned to set variable a.
|
CardAeqX(SetVar a,
IntVar cardinality)
It constructs a cardinality constraint to restrict the number of elements
in the set assigned to set variable a.
|
EinA(int element,
SetVar a)
It constructs an eInA constraint to restrict the domain of the variable.
|
EinA(int element,
SetVar a,
boolean strict)
It constructs an eInA constraint to restrict the domain of the variable.
|
ElementSet(IntVar index,
IntDomain[] list,
SetVar value)
It constructs an elementSet constraint to restrict the domains of the variables index and value.
|
ElementSet(IntVar index,
IntDomain[] list,
SetVar value,
int indexOffset)
It constructs a constraint to restrict the domains of the variables index and value.
|
ElementSetVariable(IntVar index,
List<? extends SetVar> list,
SetVar value)
It constructs an element constraint.
|
ElementSetVariable(IntVar index,
List<? extends SetVar> list,
SetVar value,
int indexOffset)
It constructs an element constraint.
|
ElementSetVariable(IntVar index,
SetVar[] list,
SetVar value)
It constructs an element constraint.
|
ElementSetVariable(IntVar index,
SetVar[] list,
SetVar value)
It constructs an element constraint.
|
ElementSetVariable(IntVar index,
SetVar[] list,
SetVar value,
int indexOffset)
It constructs an element constraint.
|
ElementSetVariable(IntVar index,
SetVar[] list,
SetVar value,
int indexOffset)
It constructs an element constraint.
|
Lex(SetVar a,
SetVar b)
Deprecated.
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
|
Lex(SetVar a,
SetVar b,
boolean strict)
Deprecated.
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
|
Match(SetVar a,
IntVar[] list)
It constructs a match constraint to connect the value of set variable a
to the values of integer variables provided in the list.
|
SinA(IntDomain set,
SetVar a)
It creates a set inclusion constraint.
|
SinA(IntDomain set,
SetVar a,
boolean strict)
It creates a set inclusion constraint.
|
SumWeightedSet(SetVar a,
int[] elements,
int[] weights,
IntVar totalWeight)
It constructs a weighted set sum constraint.
|
SumWeightedSet(SetVar a,
int[] weights,
IntVar totalWeight)
It constructs a weighted set sum constraint.
|
SumWeightedSet(SetVar a,
IntVar totalWeight)
It constructs a weighted set sum constraint.
|
XeqA(IntVar x,
SetVar a)
It constructs an XeqA constraint to restrict the domain of the integer variables x and set variable a.
|
XinA(IntVar x,
SetVar a)
It constructs an XinA constraint to restrict the domain of the variables X and A.
|
XinA(IntVar x,
SetVar a,
boolean strict)
It constructs an XinY constraint to restrict the domain of the variables X and Y.
|
| Constructor and Description |
|---|
ElementSetVariable(IntVar index,
List<? extends SetVar> list,
SetVar value)
It constructs an element constraint.
|
ElementSetVariable(IntVar index,
List<? extends SetVar> list,
SetVar value,
int indexOffset)
It constructs an element constraint.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
SetVar.eq(SetVar var)
It checks if the domains of variables are equal.
|
void |
BoundSetDomain.in(int storeLevel,
SetVar var,
IntDomain inGLB,
IntDomain inLUB)
This function is equivalent to in(int storeLevel, Variable var, int min, int max).
|
abstract void |
SetDomain.in(int storeLevel,
SetVar var,
IntDomain glb,
IntDomain lub)
This function is equivalent to in(int storeLevel, Variable var, int min, int max).
|
void |
BoundSetDomain.in(int storeLevel,
SetVar var,
SetDomain setDom)
It updates the domain to have values only within the domain.
|
abstract void |
SetDomain.in(int storeLevel,
SetVar var,
SetDomain domain)
It updates the domain to have values only within the domain.
|
void |
BoundSetDomain.inCardinality(int level,
SetVar var,
int min,
int max) |
abstract void |
SetDomain.inCardinality(int level,
SetVar a,
int i,
int j)
It restricts the possible cardinality of the set domain.
|
void |
BoundSetDomain.inGLB(int level,
SetVar var,
int element)
It adds if necessary an element to glb.
|
abstract void |
SetDomain.inGLB(int level,
SetVar var,
int element)
It adds if necessary an element to glb.
|
void |
BoundSetDomain.inGLB(int level,
SetVar var,
IntDomain intersect) |
abstract void |
SetDomain.inGLB(int level,
SetVar var,
IntDomain domain)
It specifies what elements must be in GLB.
|
void |
BoundSetDomain.inLUB(int level,
SetVar var,
IntDomain intersect) |
abstract void |
SetDomain.inLUB(int level,
SetVar var,
IntDomain domain)
It specifies what elements can be in LUB.
|
void |
BoundSetDomain.inLUBComplement(int level,
SetVar var,
int element)
It removes if necessary an element from lub.
|
abstract void |
SetDomain.inLUBComplement(int level,
SetVar var,
int element)
It specifies the element which can *NOT* be used as an element within a set assign
to a set variable.
|
void |
BoundSetDomain.inValue(int level,
SetVar var,
IntDomain set) |
abstract void |
SetDomain.inValue(int level,
SetVar var,
IntDomain set)
It assigns a set variable to the specified value.
|
void |
BoundSetDomain.inValueGLB(int level,
SetVar var)
It assigns a set variable to glb of its current domain.
|
void |
BoundSetDomain.inValueLUB(int level,
SetVar var)
It assigns a set variable to lub of its current domain.
|
| Modifier and Type | Class and Description |
|---|---|
class |
IndomainSetMax<T extends SetVar>
IndomainMin - implements enumeration method based on the selection of the
maximal value in the domain of variable
|
class |
IndomainSetMin<T extends SetVar>
IndomainMin - implements enumeration method based on the selection of the
minimal value in the domain of variable
|
class |
IndomainSetRandom<T extends SetVar>
IndomainMin - implements enumeration method based on the selection of the
maximal value in the domain of variable.
|
class |
MaxCardDiff<T extends SetVar>
Defines a maximum cardinality difference variable comparator.
|
class |
MaxGlbCard<T extends SetVar>
Defines a maximum cardinality, of the greatest lowest bound, variable comparator.
|
class |
MaxLubCard<T extends SetVar>
Defines a maximum cardinality, of the least upper bound, variable comparator.
|
class |
MinCardDiff<T extends SetVar>
Defines a minimum cardinality difference variable comparator.
|
class |
MinGlbCard<T extends SetVar>
Defines a minimum cardinality, of the greatest lowest bound, variable comparator.
|
class |
MinLubCard<T extends SetVar>
Defines a minimum cardinality, of the least upper bound, variable comparator.
|
Copyright © 2022. All rights reserved.