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.
    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.
    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 declared as SetVar
    Modifier and Type
    Field
    Description
    (package private) SetVar[]
    DefaultSearchVars.set_search_variables
     
    Fields in org.jacop.fz with type parameters of type SetVar
    Modifier and Type
    Field
    Description
    (package private) HashMap<String,SetVar>
    Tables.setVariableTable
     
    (package private) ComparatorVariable<SetVar>
    SearchItem.tieBreakingSet
     
    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(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.
    (package private) SetVar[]
    DefaultSearchVars.getSetVars()
     
    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) SelectChoicePoint<SetVar>
    SearchItem.getSetSelect()
     
    (package private) SearchItem<T>.ComparatorsVar<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
    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.
    final SetVar[]
    ElementSetVariable.list
    It specifies list of variables within an element constraint list[index - indexOffset] = value.
    (package private) SetVar
    ChannelBoolSet.s
     
    (package private) SetVar[]
    ChannelIntSet.s
     
    (package private) SetVar[]
    PartitionSet.s
     
    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.
    final SetVar
    ElementSetVariable.value
    It specifies variable value within an element constraint list[index - indexOffset] = value.
    Fields in org.jacop.set.constraints with type parameters of type SetVar
    Modifier and Type
    Field
    Description
    (package private) HashMap<SetVar,Integer>
    PartitionSet.varMap
     
    Constructors in org.jacop.set.constraints with parameters of type SetVar
    Modifier
    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.
    (package private)
    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.
    (package private)
    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.
    private
    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.
     
    ChannelBoolSet(IntVar[] b, SetVar s)
    It constructs a Channel constraint.
     
    ChannelBoolSet(IntVar[] b, SetVar s, int offset)
    It constructs a Channel constraint.
     
    ChannelIntSet(IntVar[] x, SetVar[] s)
    It constructs a Channel constraint.
     
    ChannelIntSet(IntVar[] x, SetVar[] s, int offsetInt, int offsetSet)
    It constructs a Channel constraint.
     
    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.
     
    PartitionSet(SetVar[] s, IntDomain universe)
    It constructs a Channel constraint.
     
    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
    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 
    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.