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

Packages that use SetVar
  • 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
    ExampleSet.search
    It specifies the search procedure used by a given example.
    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
    ExampleSet.getSearch()
    It returns the search used within an example.
    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) HashMap<String,SetVar>
     
    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
     
    Tables.getSetVariable(String ident)
    It returns the set variable of the given identity.
    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(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(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.
  • 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
    AdiffBeqC.a
    It specifies set variable a.
    AdisjointB.a
    It specifies set variable a.
    AeqB.a
    It specifies set variable a, which must be equal to set variable b.
    AeqS.a
    It specifies set variable a, which must be equal to set variable b.
    AinB.a
    It specifies variable a.
    AinS.a
    It specifies set variable a.
    AintersectBeqC.a
    It specifies set variable a.
    AleB.a
    It specifies the first variable of the constraint
    AltB.a
    It specifies the first variable of the constraint
    AunionBeqC.a
    It specifies set variable a.
    CardA.a
    It specifies a set variable x which is being restricted.
    CardAeqX.a
    It specifies set variable a which is being restricted.
    EinA.a
    It specifies the set variable which must contain a specified element.
    Lex.a
    Deprecated.
    It specifies a list on which element a lex relationship holds for every two consecutive variables.
    Match.a
    It specifies a set variable whose values are being matched against integer variables from the list.
    SinA.a
    It specifies variable a within which it must contains set s.
    SumWeightedSet.a
    A set variable a whose elements contribute with their weight to the sum.
    XeqA.a
    It specifies variable b.
    XinA.a
    It specifies variable b.
    AdiffBeqC.b
    It specifies set variable b.
    AdisjointB.b
    It specifies set variable b.
    AeqB.b
    It specifies set variable b, which must be equal to set variable a.
    AinB.b
    It specifies variable b.
    AintersectBeqC.b
    It specifies set variable b.
    AleB.b
    It specifies the second variable of the constraint
    AltB.b
    It specifies the second variable of the constraint
    AunionBeqC.b
    It specifies set variable b.
    Lex.b
    Deprecated.
    It specifies a list on which element a lex relationship holds for every two consecutive variables.
    AdiffBeqC.c
    It specifies set variable c.
    AintersectBeqC.c
    It specifies set variable c.
    AunionBeqC.c
    It specifies set variable c.
    final SetVar[]
    ElementSetVariable.list
    It specifies list of variables within an element constraint list[index - indexOffset] = value.
    ElementSet.value
    It specifies the set variable which is equal to one of the sets from the list as indicated by int variable index.
    final 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
    Modifier
    Constructor
    Description
     
    It constructs an AdiffBeqC constraint to restrict the domain of the variables A, B and C.
     
    It constructs a disjont set constraint to restrict the domains of the variables A and B.
     
    It constructs an AeqB constraint to restrict the domain of the variables.
     
    It constructs an AeqS constraint to restrict the domain of the variables.
     
    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.
     
    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.
     
    It constructs an AintersectBeqC constraint.
     
    It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
    (package private)
    AleB(SetVar a, SetVar b, boolean negated)
    It constructs an Lexical ordering to be used in negated constrained.
     
    It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
    (package private)
    AltB(SetVar a, SetVar b, boolean negated)
    It constructs an Lexical ordering to be used in negated constrained.
     
    It constructs an AunionBeqC constraint to restrict the domain of the variables A, B and C.
    private
     
     
    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.
     
    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, 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.
     
    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.
     
    It constructs an XeqA constraint to restrict the domain of the integer variables x and set variable 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
    Modifier
    Constructor
    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.
  • 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 
    IndomainMin - implements enumeration method based on the selection of the maximal value in the domain of variable
    class 
    IndomainMin - implements enumeration method based on the selection of the minimal value in the domain of variable
    class 
    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.