Uses of Class
org.jacop.core.IntDomain
Packages that use IntDomain
Package
Description
-
Uses of IntDomain in org.jacop.constraints
Subclasses of IntDomain in org.jacop.constraintsFields in org.jacop.constraints declared as IntDomainModifier and TypeFieldDescriptionIn.dom
It specifies domain d which restricts the possible value of the specified variable.private IntDomain
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
(package private) final IntDomain
CountValues.valuesDomain
(package private) final IntDomain
CountValuesBounds.valuesDomain
(package private) final IntDomain
CountValues.valuesDomainComplement
(package private) final IntDomain
CountValuesBounds.valuesDomainComplement
Fields in org.jacop.constraints with type parameters of type IntDomainModifier and TypeFieldDescriptionprivate Comparator
<IntDomain> Cumulative.domainMaxComparator
private Comparator
<IntDomain> Cumulative.domainMinComparator
ElementInteger.duplicates
It holds information about the positions within list array that are equal.Methods in org.jacop.constraints that return IntDomainModifier and TypeMethodDescription(package private) IntDomain
Task.compl()
(package private) IntDomain
Task.completion()
(package private) IntDomain
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 IntDomainModifier and TypeMethodDescription(package private) boolean
(package private) IntDomain
Deprecated.(package private) IntervalDomain
Deprecated.(package private) IntDomain
SumWeightDom.multiplyDom
(IntDomain d, int c) Deprecated.(package private) IntDomain
SumWeightDom.subtractDom
(IntDomain d1, IntDomain d2) Deprecated.(package private) static int[]
(package private) static int[]
Constructors in org.jacop.constraints with parameters of type IntDomainModifierConstructorDescriptionChannelImply
(IntVar x, IntVar[] bs, IntDomain value) It creates ChannelImply constraint.ChannelReif
(IntVar x, IntVar[] bs, IntDomain value) It creates ChannelReif constraint.It constructs an In constraint to restrict the domain of the variable.private
SoftAlldiffBuilder
(IntDomain[] doms, ViolationMeasure vm) private
SoftGCCBuilder
(IntDomain all, IntDomain[] doms, ViolationMeasure vm) -
Uses of IntDomain in org.jacop.constraints.netflow
Fields in org.jacop.constraints.netflow declared as IntDomainMethods in org.jacop.constraints.netflow with parameters of type IntDomainModifier and TypeMethodDescriptionprivate 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 IntDomainModifierConstructorDescriptionDomainStructure
(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 IntDomainMethods in org.jacop.constraints.regular with parameters of type IntDomainModifier and TypeMethodDescriptionabstract void
It adds to domain values which are accepted by a given edge.void
void
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.coreModifier and TypeClassDescription(package private) class
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
Defines small dense domain based on bits within a long number.Fields in org.jacop.core declared as IntDomainModifier and TypeFieldDescriptionIntVar.domain
It stores pointer to a current domain, which has stamp equal to store stamp.static final IntDomain
IntDomain.emptyIntDomain
It specifies an empty integer domain.IntDomain.previousDomain
It specifies the previous domain which was used by this domain.Methods in org.jacop.core that return IntDomainModifier and TypeMethodDescriptionabstract IntDomain
IntDomain.clone()
abstract IntDomain
IntDomain.cloneLight()
BoundDomain.complement()
abstract IntDomain
IntDomain.complement()
It creates a complement of a domain.IntervalDomain.complement()
It creates a complement of a domain.SmallDenseDomain.complement()
BoundDomain.divide
(int div) It divides the domain by a given constant.IntVar.dom()
This function returns current domain of the variable.BoundDomain.getPreviousDomain()
abstract IntDomain
IntDomain.getPreviousDomain()
It returns domain at earlier level at which the change has occurred.IntervalDomain.getPreviousDomain()
SmallDenseDomain.getPreviousDomain()
BoundDomain.intersect
(int min, int max) abstract IntDomain
IntDomain.intersect
(int min, int max) In intersects current domain with the interval min..max.abstract IntDomain
It intersects current domain with the one given as a parameter.IntervalDomain.intersect
(int min, int max) In intersects current domain with the domain min..max.It interesects current domain with the one given as a parameter.SmallDenseDomain.intersect
(int min, int max) BoundDomain.multiply
(int mul) It multiplies the domain by a given constant.IntervalDomain.multiply
(int mul) {1..4} * 6 = {6, 12, 18, 24}BoundDomain.recentDomainPruning
(int storeLevel) abstract IntDomain
IntDomain.recentDomainPruning
(int currentStoreLevel) It returns the values which have been removed at current store level.IntervalDomain.recentDomainPruning
(int storeLevel) It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.IntVar.recentDomainPruning()
It returns the values which have been removed at current store level.SmallDenseDomain.recentDomainPruning
(int storeLevel) BoundDomain.subtract
(int value) 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.It subtracts domain from current domain and returns the result.IntervalDomain.subtract
(int value) It subtracts domain from current domain and returns the result.SmallDenseDomain.subtract
(int value) SmallDenseDomain.subtract
(int min, int max) BoundDomain.union
(int value) BoundDomain.union
(int min, int max) IntDomain.union
(int value) It computes union of this domain and value.IntDomain.union
(int min, int max) It computes union of this domain and the interval.It computes union of the supplied domain with this domain.IntervalDomain.union
(int value) It computes union of dom1 and value and returns the result.IntervalDomain.union
(int min, int max) It computes union of current domain and an interval min..max;It computes union of dom1 from dom2 and returns the result.SmallDenseDomain.union
(int value) SmallDenseDomain.union
(int min, int max) Methods in org.jacop.core with parameters of type IntDomainModifier and TypeMethodDescriptionvoid
Adds "domain" to the current domain.void
It adds values as specified by the parameter to the domain.void
It adds values as specified by the parameter to the domain.void
It is possible to add the domain of variable.void
private void
IntVar.commonInitialization
(Store store, String name, IntDomain dom) boolean
boolean
It specifies if the current domain contains the domain given as a parameter.boolean
It specifies if the current domain contains the domain given as a parameter.boolean
boolean
boolean
It specifies if the other int domain is equal to this one.boolean
It checks if the domain is equal to the supplied domain.boolean
void
void
It updates the domain to have values only within the domain.void
It updates the domain to have values only within the domain.void
void
abstract void
It updates the domain to contain the elements as specifed by the domain, which is shifted.void
It updates the domain to contain the elements as specifed by the domain, which is shifted.void
abstract IntDomain
It intersects current domain with the one given as a parameter.It interesects current domain with the one given as a parameter.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
void
abstract void
It sets the domain to the specified domain.void
It sets the domain to the specified domain.void
It is possible to set the domain of variable.void
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) It subtracts domain from current domain and returns the result.It subtracts domain from current domain and returns the result.It computes union of the supplied domain with this domain.It computes union of dom1 from dom2 and returns the result.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 IntDomainModifierConstructorDescriptionIt creates a variable in a given store, with a given name and a given domain.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 IntDomainFields in org.jacop.floats.constraints with type parameters of type IntDomainModifier and TypeFieldDescriptionElementFloat.duplicates
It holds information about the positions within list array that are equal.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 IntDomainModifier and TypeFieldDescriptionVariablesParameters.indexBounds
OutputArrayAnnotation.indexes
Tables.setTable
Methods in org.jacop.fz that return IntDomainModifier and TypeMethodDescription(package private) IntDomain
OutputArrayAnnotation.getIndexes
(int i) It returns the set of the given identity.Tables.getSetArray
(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 IntDomainModifier and TypeMethodDescriptionvoid
It adds a set of the given identity.void
Tables.addSetArray
(String ident, IntDomain[] array) It adds the set array to the storage.Constructor parameters in org.jacop.fz with type arguments of type IntDomainModifierConstructorDescriptionOutputArrayAnnotation
(String name, 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 IntDomainModifier and TypeMethodDescription(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 -
Uses of IntDomain in org.jacop.search
Methods in org.jacop.search with parameters of type IntDomainModifier and TypeMethodDescription(package private) String
TraceGenerator.intDomainToString
(IntDomain domain) -
Uses of IntDomain in org.jacop.set.constraints
Fields in org.jacop.set.constraints declared as IntDomainModifier and TypeFieldDescriptionCardA.cardinality
It specifies variable c specifying the possible cardinality of variable x.ElementSet.list
It specifies a list of sets from which one element will be made equal to set variable value.AeqS.set
It specifies the set which must be equal to set variable a.AinS.set
It specifies set which must contain the value of set variable A.SinA.set
It specifies the set s which must be in variable a.(package private) IntDomain
PartitionSet.u
Fields in org.jacop.set.constraints with type parameters of type IntDomainMethods in org.jacop.set.constraints with parameters of type IntDomainModifier and TypeMethodDescription(package private) boolean
(package private) boolean
Constructors in org.jacop.set.constraints with parameters of type IntDomainModifierConstructorDescriptionIt constructs an AeqS constraint to restrict the domain of the variables.It constructs a constraint that makes sure that value of set variable a is contained within a provided set.It constructs a constraint that makes sure that value of set variable a is contained within a provided set.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.PartitionSet
(SetVar[] s, IntDomain universe) It constructs a Channel constraint.It creates a set inclusion constraint.It creates a set inclusion constraint. -
Uses of IntDomain in org.jacop.set.core
Fields in org.jacop.set.core declared as IntDomainModifier and TypeFieldDescriptionBoundSetDomain.cardinality
The cardinality of the set.(package private) IntDomain
SetDomainValueEnumeration.current
BoundSetDomain.glb
The greatest lower bound of the domain.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 IntDomainModifier and TypeMethodDescriptionBoundSetDomain.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.BoundSetDomain.glb()
It returns the greatest lower bound of the domain.abstract IntDomain
SetDomain.glb()
It returns the least upper bound of the domain.BoundSetDomain.lub()
It returns the least upper bound of the domain.abstract IntDomain
SetDomain.lub()
It returns the least upper bound of the domain.SetDomainValueEnumeration.nextSetElement()
Returns the next element in the SetDomain.Methods in org.jacop.set.core with parameters of type IntDomainModifier and TypeMethodDescriptionvoid
Adds a set of value to the possible values used within this set domain.abstract void
Adds a set of values to the set of possible values used within this set domain.boolean
It checks if the supplied set or setDomain is a subset of this domain.abstract boolean
It checks if the supplied set or setDomain is still potentially a subset of this domain.void
This function is equivalent to in(int storeLevel, Variable var, int min, int max).abstract void
This function is equivalent to in(int storeLevel, Variable var, int min, int max).void
abstract void
It specifies what elements must be in GLB.void
abstract void
It specifies what elements can be in LUB.It intersects current domain with the one given as a parameter.abstract SetDomain
It intersects current domain with the set of allowed values to be taken by the set domain.void
abstract void
It assigns a set variable to the specified value.boolean
It returns true if given domain has only one set-element and this set-element only contains c.abstract boolean
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 IntDomainModifierConstructorDescriptionBoundSetDomain
(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 IntDomainModifier and TypeFieldDescriptionFSMTransition.domain
It specifies the domain associated with the transition.Constructors in org.jacop.util.fsm with parameters of type IntDomainModifierConstructorDescriptionFSMTransition
(IntDomain domain, FSMState state) It constructs a finite machine state transition.