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
public class Pruning extends Network
- Version:
- 4.7
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
Pruning.PercentStrategy
(package private) static interface
Pruning.PruningStrategy
-
Field Summary
Fields Modifier and Type Field Description private static boolean
DO_INSTRUMENTATION
private static int
FAIL_SCORE
private static int
MIN_NUM_PRUNING
int
numActiveArcs
private static double
P_ATTEMPT_PRUNING
private java.util.PriorityQueue<ArcCompanion>
queue
private Statistics
statistics
private Pruning.PruningStrategy
strategy
private static int
SUCCESS_SCORE
-
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 Constructor Description Pruning(java.util.List<Node> nodes, java.util.List<Arc> arcs, Statistics statistics)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
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
pruneNodesWithSmallDegree()
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 Detail
-
DO_INSTRUMENTATION
private static final boolean DO_INSTRUMENTATION
- See Also:
- Constant Field Values
-
MIN_NUM_PRUNING
private static final int MIN_NUM_PRUNING
- See Also:
- Constant Field Values
-
P_ATTEMPT_PRUNING
private static final double P_ATTEMPT_PRUNING
- See Also:
- Constant Field Values
-
SUCCESS_SCORE
private static final int SUCCESS_SCORE
- See Also:
- Constant Field Values
-
FAIL_SCORE
private static final int FAIL_SCORE
- See Also:
- Constant Field Values
-
statistics
private Statistics statistics
-
queue
private java.util.PriorityQueue<ArcCompanion> queue
-
strategy
private Pruning.PruningStrategy strategy
-
numActiveArcs
public int numActiveArcs
-
-
Constructor Detail
-
Pruning
public Pruning(java.util.List<Node> nodes, java.util.List<Arc> arcs, Statistics statistics)
-
-
Method Detail
-
xVarInMax
private void xVarInMax(ArcCompanion companion, int maxFlow)
-
xVarInMin
private void xVarInMin(ArcCompanion companion, int minFlow)
-
nVarIn
private void nVarIn(ArcCompanion companion, int minFlow, int maxFlow)
-
nVarInShift
private void nVarInShift(ArcCompanion companion, IntDomain domain, int shift)
-
wVarIn
private void wVarIn(ArcCompanion companion, int maxCost)
-
sVarInDom
private void sVarInDom(ArcCompanion companion, Domain domain)
-
pruneNodesWithSmallDegree
void pruneNodesWithSmallDegree()
-
analyze
public void analyze(int costLimit)
-
analyzeArcHelper
private void analyzeArcHelper(Arc arc, int costLimit)
-
analyzeArc
private int analyzeArc(Arc arc, int costLimit)
-
pruneArc
private void pruneArc(int capacity, int residual, boolean forward, ArcCompanion companion)
-
-