Uses of Class
org.jacop.core.IntervalDomain
Packages that use IntervalDomain
Package
Description
-
Uses of IntervalDomain in org.jacop.constraints
Subclasses of IntervalDomain in org.jacop.constraintsFields in org.jacop.constraints declared as IntervalDomainModifier and TypeFieldDescriptionfinal IntervalDomain
Among.kSet
It specifies a set of values which if assigned to a variable from a list makes variable counted.(package private) IntervalDomain
Assignment.rangeD
(package private) IntervalDomain
Assignment.rangeX
(package private) IntervalDomain
Sequence.set
(package private) IntervalDomain[]
LinearIntDom.support
Defines support (valid values) for each variable(package private) IntervalDomain[]
ExtensionalSupportSTR.valuesInFocus
Methods in org.jacop.constraints that return IntervalDomainConstructors in org.jacop.constraints with parameters of type IntervalDomainModifierConstructorDescriptionAmong
(List<IntVar> list, IntervalDomain kSet, IntVar n) It constructs an Among constraint.Among
(IntVar[] list, IntervalDomain kSet, IntVar n) It constructs an Among constraint.Sequence
(IntVar[] list, IntervalDomain set, int q, int min, int max) It creates a Sequence constraint. -
Uses of IntervalDomain in org.jacop.constraints.regular
Methods in org.jacop.constraints.regular with parameters of type IntervalDomainModifier and TypeMethodDescriptionabstract void
RegState.addTransitions
(RegState suc, IntervalDomain val) It specifies that for a given values from an interval an automata will move from the current state to the successor state.void
RegStateDom.addTransitions
(RegState suc, IntervalDomain val) void
RegStateInt.addTransitions
(RegState suc, IntervalDomain val) -
Uses of IntervalDomain in org.jacop.core
Fields in org.jacop.core declared as IntervalDomainModifier and TypeFieldDescription(package private) IntervalDomain
IntervalDomainIntervalEnumeration.domain
(package private) IntervalDomain
IntervalDomainValueEnumeration.domain
static final IntervalDomain
IntervalDomain.emptyDomain
An empty domain, so no constant creation of empty domains is required.Methods in org.jacop.core that return IntervalDomainModifier and TypeMethodDescriptionIntervalDomain.clone()
It clones the domain object.IntervalDomain.cloneLight()
It clones the domain object, only data responsible for encoding domain values is cloned.IntervalDomain.subtract
(int min, int max) It subtracts min..max from current domain and returns the result.SmallDenseDomain.toIntervalDomain()
Methods in org.jacop.core with parameters of type IntervalDomainConstructors in org.jacop.core with parameters of type IntervalDomainModifierConstructorDescriptionIt creates an enumeration for a given interval domain.It create an enumeration for a given domain. -
Uses of IntervalDomain in org.jacop.examples.fd.carsequencing
Methods in org.jacop.examples.fd.carsequencing with parameters of type IntervalDomainModifier and TypeMethodDescriptionstatic FSM
CarSequencing.createFSM
(int count, IntervalDomain yes, IntervalDomain no) -
Uses of IntervalDomain in org.jacop.fz
Fields in org.jacop.fz declared as IntervalDomainModifier and TypeFieldDescription(package private) IntervalDomain
VariablesParameters.rangeDomain
-
Uses of IntervalDomain in org.jacop.util.fsm
Methods in org.jacop.util.fsm with parameters of type IntervalDomainModifier and TypeMethodDescriptionprivate void
FSM.recursiveCall
(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, List<int[]> tuples) private void
FSM.recursiveCall
(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, MDD result)