Uses of Class
org.jacop.core.IntDomain
-
-
Uses of IntDomain in org.jacop.constraints
Subclasses of IntDomain in org.jacop.constraints Modifier and Type Class Description private static class
GCC.XDomain
Fields in org.jacop.constraints declared as IntDomain Modifier and Type Field Description IntDomain
In. dom
It specifies domain d which restricts the possible value of the specified variable.private IntDomain
In. DomComplement
It specifies all the values which can not be taken by a variable.(package private) IntDomain
ElementInteger. duplicatesIndexes
(package private) IntDomain
ElementVariable. indexRange
(package private) IntDomain[]
SumWeightDom. lArray
Deprecated.Current domains of varibales(package private) IntDomain[]
ElementVariable. supports
Fields in org.jacop.constraints with type parameters of type IntDomain Modifier and Type Field Description private java.util.Comparator<IntDomain>
Cumulative. domainMaxComparator
private java.util.Comparator<IntDomain>
Cumulative. domainMinComparator
(package private) java.util.List<IntDomain>
ElementInteger. duplicates
It holds information about the positions within list array that are equal.Methods in org.jacop.constraints that return IntDomain Modifier and Type Method Description (package private) IntDomain
Task. compl()
(package private) IntDomain
Task. completion()
(package private) IntDomain
SumWeightDom. divDom(IntDomain d, int c)
Deprecated.(package private) IntDomain
XmodYeqZ. makeDomain(IntVar x, int y, IntVar z)
(package private) IntDomain
SumWeightDom. multiplyDom(IntDomain d, int c)
Deprecated.(package private) IntDomain
SumWeightDom. subtractDom(IntDomain d1, IntDomain d2)
Deprecated.Methods in org.jacop.constraints with parameters of type IntDomain Modifier and Type Method Description (package private) boolean
ElementInteger. disjoint(IntDomain v1, int v2)
(package private) IntDomain
SumWeightDom. divDom(IntDomain d, int c)
Deprecated.(package private) IntervalDomain
SumWeightDom. invertDom(IntDomain d)
Deprecated.(package private) IntDomain
SumWeightDom. multiplyDom(IntDomain d, int c)
Deprecated.(package private) IntDomain
SumWeightDom. subtractDom(IntDomain d1, IntDomain d2)
Deprecated.Constructors in org.jacop.constraints with parameters of type IntDomain Constructor Description In(IntVar x, IntDomain dom)
It constructs an In constraint to restrict the domain of the variable.SoftAlldiffBuilder(IntDomain[] doms, ViolationMeasure vm)
SoftGCCBuilder(IntDomain all, IntDomain[] doms, ViolationMeasure vm)
-
Uses of IntDomain in org.jacop.constraints.netflow
Fields in org.jacop.constraints.netflow declared as IntDomain Modifier and Type Field Description IntDomain[]
DomainStructure. domains
Methods in org.jacop.constraints.netflow with parameters of type IntDomain Modifier and Type Method Description private void
Pruning. nVarInShift(ArcCompanion companion, IntDomain domain, int shift)
Node[][]
NetworkBuilder. valueGraph(IntVar[] vars, IntDomain[] domains)
Returns two arrays containing the nodes for each variable and the nodes for each domain, respectively.Constructors in org.jacop.constraints.netflow with parameters of type IntDomain Constructor Description DomainStructure(IntVar variable, IntDomain[] domains, Arc[] arcs)
DomainStructure(IntVar variable, IntDomain[] domains, Arc[] arcs, DomainStructure.Behavior behavior)
-
Uses of IntDomain in org.jacop.constraints.regular
Fields in org.jacop.constraints.regular declared as IntDomain Modifier and Type Field Description private IntDomain[]
RegStateDom. toSucDom
Methods in org.jacop.constraints.regular with parameters of type IntDomain Modifier and Type Method Description abstract void
RegState. add(IntDomain varDom, int successorNo)
It adds to domain values which are accepted by a given edge.void
RegStateDom. add(IntDomain varDom, int successorNo)
void
RegStateInt. add(IntDomain varDom, int successorNo)
abstract boolean
RegState. intersects(IntDomain dom, int successorNo)
It checks if the accepting values associated with an edge intersect.boolean
RegStateDom. intersects(IntDomain dom, int successorNo)
boolean
RegStateInt. intersects(IntDomain dom, int successorNo)
-
Uses of IntDomain in org.jacop.core
Subclasses of IntDomain in org.jacop.core Modifier and Type Class Description (package private) class
BoundDomain
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
IntervalDomain
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
SmallDenseDomain
Defines small dense domain based on bits within a long number.Fields in org.jacop.core declared as IntDomain Modifier and Type Field Description IntDomain
IntVar. domain
It stores pointer to a current domain, which has stamp equal to store stamp.static IntDomain
IntDomain. emptyIntDomain
It specifies an empty integer domain.IntDomain
IntDomain. previousDomain
It specifies the previous domain which was used by this domain.Methods in org.jacop.core that return IntDomain Modifier and Type Method Description abstract IntDomain
IntDomain. cloneLight()
IntDomain
BoundDomain. complement()
abstract IntDomain
IntDomain. complement()
It creates a complement of a domain.IntDomain
IntervalDomain. complement()
It creates a complement of a domain.IntDomain
SmallDenseDomain. complement()
IntDomain
BoundDomain. divide(int div)
It divides the domain by a given constant.IntDomain
IntVar. dom()
This function returns current domain of the variable.IntDomain
BoundDomain. getPreviousDomain()
abstract IntDomain
IntDomain. getPreviousDomain()
It returns domain at earlier level at which the change has occurred.IntDomain
IntervalDomain. getPreviousDomain()
IntDomain
SmallDenseDomain. getPreviousDomain()
IntDomain
BoundDomain. intersect(int min, int max)
IntDomain
BoundDomain. intersect(IntDomain dom)
abstract IntDomain
IntDomain. intersect(int min, int max)
In intersects current domain with the interval min..max.abstract IntDomain
IntDomain. intersect(IntDomain dom)
It intersects current domain with the one given as a parameter.IntDomain
IntervalDomain. intersect(int min, int max)
In intersects current domain with the domain min..max.IntDomain
IntervalDomain. intersect(IntDomain domain)
It interesects current domain with the one given as a parameter.IntDomain
SmallDenseDomain. intersect(int min, int max)
IntDomain
SmallDenseDomain. intersect(IntDomain domain)
IntDomain
BoundDomain. multiply(int mul)
It multiplies the domain by a given constant.IntDomain
IntervalDomain. multiply(int mul)
{1..4} * 6 = {6, 12, 18, 24}IntDomain
BoundDomain. recentDomainPruning(int storeLevel)
abstract IntDomain
IntDomain. recentDomainPruning(int currentStoreLevel)
It returns the values which have been removed at current store level.IntDomain
IntervalDomain. recentDomainPruning(int storeLevel)
It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.IntDomain
IntVar. recentDomainPruning()
It returns the values which have been removed at current store level.IntDomain
SmallDenseDomain. recentDomainPruning(int storeLevel)
IntDomain
BoundDomain. subtract(int value)
IntDomain
BoundDomain. subtract(IntDomain domain)
IntDomain
IntDomain. subtract(int value)
It intersects with the domain which is a complement of value.abstract IntDomain
IntDomain. subtract(int min, int max)
It subtracts interval min..max.IntDomain
IntDomain. subtract(IntDomain domain)
It subtracts domain from current domain and returns the result.IntDomain
IntervalDomain. subtract(int value)
IntDomain
IntervalDomain. subtract(IntDomain domain)
It subtracts domain from current domain and returns the result.IntDomain
SmallDenseDomain. subtract(int value)
IntDomain
SmallDenseDomain. subtract(int min, int max)
IntDomain
SmallDenseDomain. subtract(IntDomain domain)
IntDomain
BoundDomain. union(int value)
IntDomain
BoundDomain. union(int min, int max)
IntDomain
BoundDomain. union(IntDomain domain)
IntDomain
IntDomain. union(int value)
It computes union of this domain and value.IntDomain
IntDomain. union(int min, int max)
It computes union of this domain and the interval.IntDomain
IntDomain. union(IntDomain domain)
It computes union of the supplied domain with this domain.IntDomain
IntervalDomain. union(int value)
It computes union of dom1 and value and returns the result.IntDomain
IntervalDomain. union(int min, int max)
It computes union of current domain and an interval min..max;IntDomain
IntervalDomain. union(IntDomain domain)
It computes union of dom1 from dom2 and returns the result.IntDomain
SmallDenseDomain. union(int value)
IntDomain
SmallDenseDomain. union(int min, int max)
IntDomain
SmallDenseDomain. union(IntDomain domain)
Methods in org.jacop.core with parameters of type IntDomain Modifier and Type Method Description void
BoundDomain. addDom(IntDomain domain)
void
IntDomain. addDom(IntDomain domain)
It adds values as specified by the parameter to the domain.void
IntervalDomain. addDom(IntDomain domain)
It adds values as specified by the parameter to the domain.void
IntVar. addDom(IntDomain dom)
It is possible to add the domain of variable.void
SmallDenseDomain. addDom(IntDomain domain)
private void
IntVar. commonInitialization(Store store, java.lang.String name, IntDomain dom)
boolean
BoundDomain. contains(IntDomain domain)
boolean
IntDomain. contains(IntDomain domain)
It specifies if the current domain contains the domain given as a parameter.boolean
IntervalDomain. contains(IntDomain domain)
It specifies if the current domain contains the domain given as a parameter.boolean
SmallDenseDomain. contains(IntDomain domain)
boolean
BoundDomain. eq(IntDomain domain)
boolean
IntDomain. eq(IntDomain domain)
It specifies if the other int domain is equal to this one.boolean
IntervalDomain. eq(IntDomain domain)
It checks if the domain is equal to the supplied domain.boolean
SmallDenseDomain. eq(IntDomain domain)
void
BoundDomain. in(int storeLevel, Var var, IntDomain domain)
void
IntDomain. in(int storeLevel, Var var, IntDomain domain)
It updates the domain to have values only within the domain.void
IntervalDomain. in(int storeLevel, Var var, IntDomain domain)
It updates the domain to have values only within the domain.void
SmallDenseDomain. in(int storeLevel, Var var, IntDomain domain)
void
BoundDomain. inShift(int storeLevel, Var var, IntDomain domain, int shift)
abstract void
IntDomain. inShift(int storeLevel, Var var, IntDomain domain, int shift)
It updates the domain to contain the elements as specifed by the domain, which is shifted.void
IntervalDomain. inShift(int storeLevel, Var var, IntDomain domain, int shift)
It updates the domain to contain the elements as specifed by the domain, which is shifted.void
SmallDenseDomain. inShift(int storeLevel, Var var, IntDomain domain, int shift)
IntDomain
BoundDomain. intersect(IntDomain dom)
abstract IntDomain
IntDomain. intersect(IntDomain dom)
It intersects current domain with the one given as a parameter.IntDomain
IntervalDomain. intersect(IntDomain domain)
It interesects current domain with the one given as a parameter.IntDomain
SmallDenseDomain. intersect(IntDomain domain)
int
BoundDomain. intersectAdapt(IntDomain intersect)
abstract int
IntDomain. intersectAdapt(IntDomain intersect)
It computes an intersection with a given domain and stores it in this domain.int
IntervalDomain. intersectAdapt(IntDomain domain)
int
SmallDenseDomain. intersectAdapt(IntDomain domain)
boolean
BoundDomain. isIntersecting(IntDomain domain)
boolean
IntDomain. isIntersecting(IntDomain domain)
Checks if two domains intersect.boolean
IntervalDomain. isIntersecting(IntDomain domain)
Checks if two domains intersect.boolean
SmallDenseDomain. isIntersecting(IntDomain domain)
int
IntDomain. lex(IntDomain domain)
Returns the lexical ordering between the setsvoid
BoundDomain. setDomain(IntDomain domain)
abstract void
IntDomain. setDomain(IntDomain domain)
It sets the domain to the specified domain.void
IntervalDomain. setDomain(IntDomain domain)
It sets the domain to the specified domain.void
IntVar. setDomain(IntDomain dom)
It is possible to set the domain of variable.void
SmallDenseDomain. setDomain(IntDomain domain)
int
BoundDomain. sizeOfIntersection(IntDomain domain)
int
IntDomain. sizeOfIntersection(IntDomain domain)
It computes the size of the intersection between this domain and the domain supplied as a parameter.int
IntervalDomain. sizeOfIntersection(IntDomain domain)
int
SmallDenseDomain. sizeOfIntersection(IntDomain domain)
IntDomain
BoundDomain. subtract(IntDomain domain)
IntDomain
IntDomain. subtract(IntDomain domain)
It subtracts domain from current domain and returns the result.IntDomain
IntervalDomain. subtract(IntDomain domain)
It subtracts domain from current domain and returns the result.IntDomain
SmallDenseDomain. subtract(IntDomain domain)
IntDomain
BoundDomain. union(IntDomain domain)
IntDomain
IntDomain. union(IntDomain domain)
It computes union of the supplied domain with this domain.IntDomain
IntervalDomain. union(IntDomain domain)
It computes union of dom1 from dom2 and returns the result.IntDomain
SmallDenseDomain. union(IntDomain domain)
int
IntDomain. unionAdapt(IntDomain union)
It computes a union between this domain and the domain provided as a parameter.int
IntervalDomain. unionAdapt(IntDomain union)
Constructors in org.jacop.core with parameters of type IntDomain Constructor Description IntVar(Store store, java.lang.String name, IntDomain dom)
It creates a variable in a given store, with a given name and a given domain.IntVar(Store store, IntDomain dom)
It creates a variable in a given store, with a given name and a given domain.MutableDomain(Store store, IntDomain domain)
-
Uses of IntDomain in org.jacop.floats.constraints
Fields in org.jacop.floats.constraints declared as IntDomain Modifier and Type Field Description (package private) IntDomain
ElementFloat. duplicatesIndexes
Fields in org.jacop.floats.constraints with type parameters of type IntDomain Modifier and Type Field Description (package private) java.util.List<IntDomain>
ElementFloat. duplicates
It holds information about the positions within list array that are equal.(package private) java.util.Hashtable<java.lang.Double,IntDomain>
ElementFloat. mappingValuesToIndex
It specifies for each value what are the possible values of the index variable (it takes into account indexOffset. -
Uses of IntDomain in org.jacop.fz
Fields in org.jacop.fz with type parameters of type IntDomain Modifier and Type Field Description (package private) java.util.ArrayList<IntDomain>
VariablesParameters. indexBounds
(package private) java.util.ArrayList<IntDomain>
OutputArrayAnnotation. indexes
(package private) java.util.HashMap<java.lang.String,IntDomain>
Tables. setTable
Methods in org.jacop.fz that return IntDomain Modifier and Type Method Description (package private) IntDomain
OutputArrayAnnotation. getIndexes(int i)
IntDomain
Tables. getSet(java.lang.String ident)
It returns the set of the given identity.IntDomain[]
Tables. getSetArray(java.lang.String ident)
It returns the set array of the given id.(package private) IntDomain
VariablesParameters. getSetLiteral(SimpleNode node, int index)
(package private) IntDomain[]
VariablesParameters. getSetLiteralArray(SimpleNode node, int index, int size)
Methods in org.jacop.fz with parameters of type IntDomain Modifier and Type Method Description void
Tables. addSet(java.lang.String ident, IntDomain val)
It adds a set of the given identity.void
Tables. addSetArray(java.lang.String ident, IntDomain[] array)
It adds the set array to the storage.Constructor parameters in org.jacop.fz with type arguments of type IntDomain Constructor Description OutputArrayAnnotation(java.lang.String name, java.util.ArrayList<IntDomain> indexBounds)
It constructs and output array annotation. -
Uses of IntDomain in org.jacop.fz.constraints
Methods in org.jacop.fz.constraints that return IntDomain Modifier and Type Method Description (package private) IntDomain[]
Support. getSetArray(SimpleNode node)
(package private) IntDomain
Support. getSetLiteral(SimpleNode node, int index)
-
Uses of IntDomain in org.jacop.satwrapper.translation
Fields in org.jacop.satwrapper.translation declared as IntDomain Modifier and Type Field Description IntDomain
SatCPBridge. initialDomain
-
Uses of IntDomain in org.jacop.search
Methods in org.jacop.search with parameters of type IntDomain Modifier and Type Method Description (package private) java.lang.String
TraceGenerator. intDomainToString(IntDomain domain)
-
Uses of IntDomain in org.jacop.set.constraints
Fields in org.jacop.set.constraints declared as IntDomain Modifier and Type Field Description IntDomain
CardA. cardinality
It specifies variable c specifying the possible cardinality of variable x.IntDomain[]
ElementSet. list
It specifies a list of sets from which one element will be made equal to set variable value.IntDomain
AeqS. set
It specifies the set which must be equal to set variable a.IntDomain
AinS. set
It specifies set which must contain the value of set variable A.IntDomain
SinA. set
It specifies the set s which must be in variable a.Fields in org.jacop.set.constraints with type parameters of type IntDomain Modifier and Type Field Description protected TimeStamp<IntDomain>
Lex. inDifference
Deprecated.protected TimeStamp<IntDomain>
Lex. smallerDifference
Deprecated.Methods in org.jacop.set.constraints with parameters of type IntDomain Modifier and Type Method Description (package private) boolean
AleB. setLexLE(IntDomain x, IntDomain y)
(package private) boolean
AltB. setLexLT(IntDomain x, IntDomain y)
Constructors in org.jacop.set.constraints with parameters of type IntDomain Constructor Description AeqS(SetVar a, IntDomain set)
It constructs an AeqS constraint to restrict the domain of the variables.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.CardA(SetVar a, IntDomain c)
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.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.SinA(IntDomain set, SetVar a)
It creates a set inclusion constraint.SinA(IntDomain set, SetVar a, boolean strict)
It creates a set inclusion constraint. -
Uses of IntDomain in org.jacop.set.core
Fields in org.jacop.set.core declared as IntDomain Modifier and Type Field Description IntDomain
BoundSetDomain. cardinality
The cardinality of the set.(package private) IntDomain
SetDomainValueEnumeration. current
IntDomain
BoundSetDomain. glb
The greatest lower bound of the domain.IntDomain
BoundSetDomain. lub
The least upper bound of the domain.(package private) IntDomain
SetDomainValueEnumeration. max
(package private) IntDomain
SetDomainValueEnumeration. min
Methods in org.jacop.set.core that return IntDomain Modifier and Type Method Description IntDomain
BoundSetDomain. card()
Returns the cardinality of the setDomain as [glb.card(), lub.card()]abstract IntDomain
SetDomain. card()
Returns the cardinality of the setDomain as [glb.card(), lub.card()]private IntDomain
SetDomainValueEnumeration. getPascal(int level, int place)
The number of elements at each level is described by Pascal's-triangle.IntDomain
BoundSetDomain. glb()
It returns the greatest lower bound of the domain.abstract IntDomain
SetDomain. glb()
It returns the least upper bound of the domain.IntDomain
BoundSetDomain. lub()
It returns the least upper bound of the domain.abstract IntDomain
SetDomain. lub()
It returns the least upper bound of the domain.IntDomain
SetDomainValueEnumeration. nextSetElement()
Returns the next element in the SetDomain.Methods in org.jacop.set.core with parameters of type IntDomain Modifier and Type Method Description void
BoundSetDomain. addDom(IntDomain set)
Adds a set of value to the possible values used within this set domain.abstract void
SetDomain. addDom(IntDomain set)
Adds a set of values to the set of possible values used within this set domain.boolean
BoundSetDomain. contains(IntDomain set)
It checks if the supplied set or setDomain is a subset of this domain.abstract boolean
SetDomain. contains(IntDomain set)
It checks if the supplied set or setDomain is still potentially a subset of this domain.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. 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.SetDomain
BoundSetDomain. intersect(IntDomain domain)
It intersects current domain with the one given as a parameter.abstract SetDomain
SetDomain. intersect(IntDomain set)
It intersects current domain with the set of allowed values to be taken by the set domain.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.boolean
BoundSetDomain. singleton(IntDomain set)
It returns true if given domain has only one set-element and this set-element only contains c.abstract boolean
SetDomain. singleton(IntDomain set)
It check whether the set domain is singleton and its value is equal to the specified set.Constructors in org.jacop.set.core with parameters of type IntDomain Constructor Description BoundSetDomain(IntDomain glb, IntDomain lub)
Creates a new instance of SetDomain.BoundSetDomain(IntDomain glb, IntDomain lub, IntDomain cardinality)
Creates BoundSetDomain object. -
Uses of IntDomain in org.jacop.util.fsm
Fields in org.jacop.util.fsm declared as IntDomain Modifier and Type Field Description IntDomain
FSMTransition. domain
It specifies the domain associated with the transition.Constructors in org.jacop.util.fsm with parameters of type IntDomain Constructor Description FSMTransition(IntDomain domain, FSMState state)
It constructs a finite machine state transition.
-