Uses of Class
org.jacop.core.IntervalDomain
-
Packages that use IntervalDomain Package Description org.jacop.constraints org.jacop.constraints.regular org.jacop.core org.jacop.examples.fd.carsequencing org.jacop.util.fsm -
-
Uses of IntervalDomain in org.jacop.constraints
Subclasses of IntervalDomain in org.jacop.constraints Modifier and Type Class Description private static class
GCC.XDomain
Fields in org.jacop.constraints declared as IntervalDomain Modifier and Type Field Description 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 IntervalDomain Modifier and Type Method Description (package private) IntervalDomain
SumWeightDom. invertDom(IntDomain d)
Deprecated.Constructors in org.jacop.constraints with parameters of type IntervalDomain Constructor Description Among(java.util.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 IntervalDomain Modifier and Type Method Description abstract 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 IntervalDomain Modifier and Type Field Description (package private) IntervalDomain
IntervalDomainIntervalEnumeration. domain
(package private) IntervalDomain
IntervalDomainValueEnumeration. domain
static IntervalDomain
IntervalDomain. emptyDomain
An empty domain, so no constant creation of empty domains is required.Methods in org.jacop.core that return IntervalDomain Modifier and Type Method Description IntervalDomain
IntervalDomain. clone()
It clones the domain object.IntervalDomain
IntervalDomain. cloneLight()
It clones the domain object, only data responsible for encoding domain values is cloned.IntervalDomain
IntervalDomain. subtract(int min, int max)
It subtracts min..max from current domain and returns the result.IntervalDomain
SmallDenseDomain. toIntervalDomain()
Methods in org.jacop.core with parameters of type IntervalDomain Modifier and Type Method Description SmallDenseDomain
SmallDenseDomain. intersect(IntervalDomain input, int shift)
Constructors in org.jacop.core with parameters of type IntervalDomain Constructor Description IntervalDomainIntervalEnumeration(IntervalDomain dom)
It creates an enumeration for a given interval domain.IntervalDomainValueEnumeration(IntervalDomain dom)
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 IntervalDomain Modifier and Type Method Description static FSM
CarSequencing. createFSM(int count, IntervalDomain yes, IntervalDomain no)
-
Uses of IntervalDomain in org.jacop.util.fsm
Methods in org.jacop.util.fsm with parameters of type IntervalDomain Modifier and Type Method Description private void
FSM. recursiveCall(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, java.util.List<int[]> tuples)
private void
FSM. recursiveCall(int prevSuc, int level, int stateNumber, IntervalDomain[][][] outarc, int[] tuple, MDD result)
-