Uses of Class
org.jacop.set.core.SetVar

Packages that use SetVar

Package	Description
org.jacop.examples.set
org.jacop.fz
org.jacop.fz.constraints
org.jacop.set.constraints
org.jacop.set.core
org.jacop.set.search

Uses of SetVar in org.jacop.examples.set

Fields in org.jacop.examples.set declared as SetVar

Modifier and Type	Field	Description
(package private) SetVar[][]	SocialGolfer.golferGroup

Fields in org.jacop.examples.set with type parameters of type SetVar

Modifier and Type	Field	Description
Search<SetVar>	ExampleSet.search	It specifies the search procedure used by a given example.
java.util.List<SetVar>	ExampleSet.vars	It contains all variables used within a specific example.

Methods in org.jacop.examples.set that return types with arguments of type SetVar

Modifier and Type	Method	Description
Search<SetVar>	ExampleSet.getSearch()	It returns the search used within an example.
java.util.List<SetVar>	ExampleSet.getSearchVariables()	It returns an array list of variables used to model the example.

Uses of SetVar in org.jacop.fz

Fields in org.jacop.fz with type parameters of type SetVar

Modifier and Type	Field	Description
(package private) java.util.HashMap<java.lang.String,SetVar>	Tables.setVariableTable

Methods in org.jacop.fz that return SetVar

Modifier and Type	Method	Description
(package private) SetVar[]	VariablesParameters.getSetFlatExpr_ArrayVar(Store store, SimpleNode node, int index)
(package private) SetVar	VariablesParameters.getSetFlatExpr_var(Store store, SimpleNode node, int i)
(package private) SetVar[]	SearchItem.getSetVarArray(SimpleNode node)
(package private) SetVar	SearchItem.getSetVariable(ASTScalarFlatExpr node)
SetVar	Tables.getSetVariable(java.lang.String ident)	It returns the set variable of the given identity.
SetVar[]	Tables.getSetVariableArray(java.lang.String ident)	It returns the array of set variables of the given identity.

Methods in org.jacop.fz that return types with arguments of type SetVar

Modifier and Type	Method	Description
(package private) Indomain<SetVar>	SearchItem.getIndomain4Set(java.lang.String indomain)
(package private) ComparatorVariable<SetVar>	SearchItem.getSetVarSelect()

Methods in org.jacop.fz with parameters of type SetVar

Modifier and Type	Method	Description
void	Tables.addSetVariable(java.lang.String ident, SetVar var)	It adds the set variable of the given identity.
void	Tables.addSetVariableArray(java.lang.String ident, SetVar[] array)	It stores the array of the set variables with the specified identity.

Uses of SetVar in org.jacop.fz.constraints

Methods in org.jacop.fz.constraints that return SetVar

Modifier and Type	Method	Description
(package private) SetVar[]	Support.getSetVarArray(SimpleNode node)
(package private) SetVar	Support.getSetVariable(SimpleNode node, int index)

Uses of SetVar in org.jacop.set.constraints

Fields in org.jacop.set.constraints declared as SetVar

Modifier and Type	Field	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.

Constructors in org.jacop.set.constraints with parameters of type SetVar

Constructor	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.
AleB(SetVar a, SetVar b, boolean negated)	It constructs an Lexical ordering to be used in negated constrained.
AltB(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, boolean negated)	It constructs an Lexical ordering to be used in negated constrained.
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)
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, int min, int max)	It constructs a cardinality constraint to restrict the number of elements in the set assigned to 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.
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, java.util.List<? extends SetVar> list, SetVar value)	It constructs an element constraint.
ElementSetVariable(IntVar index, java.util.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, 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 parameters in org.jacop.set.constraints with type arguments of type SetVar

Constructor	Description
ElementSetVariable(IntVar index, java.util.List<? extends SetVar> list, SetVar value)	It constructs an element constraint.
ElementSetVariable(IntVar index, java.util.List<? extends SetVar> list, SetVar value, int indexOffset)	It constructs an element constraint.

Uses of SetVar in org.jacop.set.core

Methods in org.jacop.set.core with parameters of type SetVar

Modifier and Type	Method	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).
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, IntDomain glb, IntDomain lub)	This function is equivalent to in(int storeLevel, Variable var, int min, int max).
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.
void	BoundSetDomain.inGLB(int level, SetVar var, IntDomain intersect)
abstract void	SetDomain.inGLB(int level, SetVar var, int element)	It adds if necessary an element to glb.
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.

Uses of SetVar in org.jacop.set.search

Classes in org.jacop.set.search with type parameters of type SetVar

Modifier and Type	Class	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.