Package | Description |
---|---|
org.jacop.constraints | |
org.jacop.constraints.regular | |
org.jacop.core | |
org.jacop.examples.fd.carsequencing |
Modifier and Type | Field and Description |
---|---|
IntervalDomain |
Among.kSet
It specifies a set of values which if assigned to a variable from a list makes variable counted.
|
Constructor and Description |
---|
Among(ArrayList<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.
|
Modifier and Type | Method and Description |
---|---|
void |
RegStateInt.addTransitions(RegState suc,
IntervalDomain val) |
void |
RegStateDom.addTransitions(RegState suc,
IntervalDomain val) |
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.
|
Modifier and Type | Field and Description |
---|---|
static IntervalDomain |
IntervalDomain.emptyDomain
An empty domain, so no constant creation of empty domains is required.
|
IntervalDomain |
IntervalDomain.previousDomain
It specifies the previous domain which was used by this domain.
|
Modifier and Type | Method and 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.
|
static IntervalDomain |
IntDomain.divBounds(int a,
int b,
int c,
int d) |
static IntervalDomain |
IntDomain.divIntBounds(int a,
int b,
int c,
int d) |
static IntervalDomain |
IntDomain.mulBounds(int a,
int b,
int c,
int d) |
IntervalDomain |
IntervalDomain.subtract(int min,
int max)
It subtracts min..max from current domain and returns the result.
|
IntervalDomain |
SmallDenseDomain.toIntervalDomain() |
Modifier and Type | Method and Description |
---|---|
static void |
IntervalDomain.fromXML(IntervalDomain object,
String content)
It updates an object of type IntervalDomain with the information
stored in the string.
|
SmallDenseDomain |
SmallDenseDomain.intersect(IntervalDomain input,
int shift) |
Constructor and Description |
---|
IntervalDomainIntervalEnumeration(IntervalDomain dom)
It creates an enumeration for a given interval domain.
|
IntervalDomainValueEnumeration(IntervalDomain dom)
It create an enumeration for a given domain.
|
Modifier and Type | Method and Description |
---|---|
static FSM |
CarSequencing.createFSM(int count,
IntervalDomain yes,
IntervalDomain no) |
Copyright © 2015. All rights reserved.