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(IntVar[] list,
IntervalDomain kSet,
IntVar n)
It constructs an Among constraint.
|
Among(List<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 |
---|---|
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) |
Modifier and Type | Field and Description |
---|---|
static IntervalDomain |
IntervalDomain.emptyDomain
An empty domain, so no constant creation of empty domains is required.
|
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.
|
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 |
---|---|
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 © 2022. All rights reserved.