Package org.jacop.constraints.netflow
Class Pruning
java.lang.Object
org.jacop.constraints.netflow.simplex.NetworkSimplex
org.jacop.constraints.netflow.Network
org.jacop.constraints.netflow.Pruning
- All Implemented Interfaces:
MutableNetwork
- Version:
- 4.9
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionclass
(package private) static interface
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final int
private static final int
int
private static final double
private PriorityQueue
<ArcCompanion> private Statistics
private Pruning.PruningStrategy
private static final int
Fields inherited from class org.jacop.constraints.netflow.Network
costOffset, deletedArcs, deletedSize, lastModifiedArcs, modifiedArcs, modifiedSize, store
Fields inherited from class org.jacop.constraints.netflow.simplex.NetworkSimplex
allArcs, blocking, DEBUG, DEBUG_ALL, DELETED_ARC, infeasibleNodes, LARGE_COST, lower, nodes, numArcs, pivotRule, root, TREE_ARC
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
analyze
(int costLimit) private int
analyzeArc
(Arc arc, int costLimit) private void
analyzeArcHelper
(Arc arc, int costLimit) private void
nVarIn
(ArcCompanion companion, int minFlow, int maxFlow) private void
nVarInShift
(ArcCompanion companion, IntDomain domain, int shift) private void
pruneArc
(int capacity, int residual, boolean forward, ArcCompanion companion) (package private) void
private void
sVarInDom
(ArcCompanion companion, Domain domain) private void
wVarIn
(ArcCompanion companion, int maxCost) private void
xVarInMax
(ArcCompanion companion, int maxFlow) private void
xVarInMin
(ArcCompanion companion, int minFlow) Methods inherited from class org.jacop.constraints.netflow.Network
backtrack, changeCostOffset, cost, getStoreLevel, increaseLevel, initialize, modified, needsUpdate, remove
Methods inherited from class org.jacop.constraints.netflow.simplex.NetworkSimplex
addArc, addArcWithFlow, augmentFlow, dualPivot, networkSimplex, parametricStep, primalStep, print, removeArc, treeSwap, updateTree
-
Field Details
-
DO_INSTRUMENTATION
private static final boolean DO_INSTRUMENTATION- See Also:
-
MIN_NUM_PRUNING
private static final int MIN_NUM_PRUNING- See Also:
-
P_ATTEMPT_PRUNING
private static final double P_ATTEMPT_PRUNING- See Also:
-
SUCCESS_SCORE
private static final int SUCCESS_SCORE- See Also:
-
FAIL_SCORE
private static final int FAIL_SCORE- See Also:
-
statistics
-
queue
-
strategy
-
numActiveArcs
public int numActiveArcs
-
-
Constructor Details
-
Pruning
-
-
Method Details
-
xVarInMax
-
xVarInMin
-
nVarIn
-
nVarInShift
-
wVarIn
-
sVarInDom
-
pruneNodesWithSmallDegree
void pruneNodesWithSmallDegree() -
analyze
public void analyze(int costLimit) -
analyzeArcHelper
-
analyzeArc
-
pruneArc
-