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.