Package | Description |
---|---|
org.jacop.constraints | |
org.jacop.constraints.netflow | |
org.jacop.constraints.regular | |
org.jacop.core | |
org.jacop.set.constraints |
Modifier and Type | Field and Description |
---|---|
protected TimeStamp<Integer> |
Alldifferent.grounded |
TimeStamp<Integer> |
ExtensionalSupportSTR.headsOfEliminatedTuples
Gives the first position of the eliminated tuple at a given level.
|
TimeStamp<Integer> |
ExtensionalSupportSTR.tailsOfEliminatedTuples
Gives the last position of the eliminated tuple at a given level.
|
Modifier and Type | Field and Description |
---|---|
TimeStamp<Integer> |
Network.deletedSize
Number of deleted arcs at each level
|
TimeStamp<Integer> |
Network.modifiedSize
Number of modified arcs at each level
|
Modifier and Type | Method and Description |
---|---|
boolean |
RegEdge.check(TimeStamp<Integer>[] activeLevels)
It checks if the edge is between active states.
|
boolean |
RegStateInt.isActive(TimeStamp<Integer>[] activeLevels) |
boolean |
RegStateDom.isActive(TimeStamp<Integer>[] activeLevels) |
abstract boolean |
RegState.isActive(TimeStamp<Integer>[] activeLevels)
The function return if the state is still active.
|
Modifier and Type | Field and Description |
---|---|
TimeStamp<Integer> |
Store.pointer4GroundedBooleanVariables
It specifies the current pointer to put next changed boolean variable.
|
Modifier and Type | Field and Description |
---|---|
protected ArrayList<TimeStamp<?>> |
Store.timeStamps
TimeStamp variable is a simpler version of a mutable variable.
|
Modifier and Type | Method and Description |
---|---|
int |
Store.putMutableVar(TimeStamp<?> value)
Any entity (for example constraints) may have their own mutable variables
(timestamps) which can be register at store and then store will be
responsible for calling appropriate functions from TimeStamp class to
keep the variables consistent with the search.
|
Modifier and Type | Field and Description |
---|---|
protected TimeStamp<IntDomain> |
Lex.inDifference |
protected TimeStamp<IntDomain> |
Lex.smallerDifference |
Copyright © 2015. All rights reserved.