| 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.
|
abstract boolean |
RegState.isActive(TimeStamp<Integer>[] activeLevels)
The function return if the state is still active.
|
boolean |
RegStateDom.isActive(TimeStamp<Integer>[] activeLevels) |
boolean |
RegStateInt.isActive(TimeStamp<Integer>[] activeLevels) |
| 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 TimeStamp<IntDomain> |
Lex.inDifference
Deprecated.
|
protected TimeStamp<IntDomain> |
Lex.smallerDifference
Deprecated.
|
Copyright © 2022. All rights reserved.