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 constraintSetVar
AltB. a
It specifies the first variable of the constraintSetVar
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 constraintSetVar
AltB. b
It specifies the second variable of the constraintSetVar
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 variableclass
IndomainSetMin<T extends SetVar>
IndomainMin - implements enumeration method based on the selection of the minimal value in the domain of variableclass
IndomainSetRandom<T extends SetVar>
IndomainMin - implements enumeration method based on the selection of the maximal value in the domain of variableclass
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.
-