|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
choco.kernel.solver.constraints.integer.AbstractIntSConstraint
choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
choco.kernel.solver.constraints.global.matching.AbstractBipartiteGraph
choco.kernel.solver.constraints.global.matching.AbstractBipartiteMatching
public abstract class AbstractBipartiteMatching
A subclass of AbtractBipartiteGraph restricted only to matchings (and not flows).
Nested Class Summary |
---|
Nested classes/interfaces inherited from class choco.kernel.solver.constraints.global.matching.AbstractBipartiteGraph |
---|
AbstractBipartiteGraph.IntQueue |
Field Summary | |
---|---|
protected IStateIntVector |
refInverseMatch
Vector with the reverse matching. |
Fields inherited from class choco.kernel.solver.constraints.global.matching.AbstractBipartiteGraph |
---|
component, componentOrder, currentComponent, currentNode, finishDate, left2rightArc, matchingSize, maxValue, minValue, nbLeftVertices, nbRightVertices, nbVertices, queue, refMatch, right2leftArc, seen, source, time |
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
cIndices, constraintType, extensions, vars |
Fields inherited from class choco.kernel.solver.propagation.Propagator |
---|
active, constAwakeEvent, priority, propagationEngine |
Fields inherited from interface choco.kernel.solver.constraints.SConstraint |
---|
LOGGER |
Constructor Summary | |
---|---|
AbstractBipartiteMatching(IEnvironment environment,
IntDomainVar[] vars,
int nbLeft,
int nbRight)
Builds a new instance for the specified vars. |
Method Summary | |
---|---|
void |
decreaseMatchingSize(int j)
Matching size has been decrease by 1. |
void |
deleteMatch(int i,
int j)
Removing the arc i-j from the reference matching. |
void |
increaseMatchingSize(int j)
Matching size has been increase by 1. |
protected void |
init()
|
int |
inverseMatch(int j)
Accessing the left vertex matched to j. |
boolean |
mayDiminishFlowFromSource(int j)
Checks if the flow can be decreased between source and a vertex. |
boolean |
mayGrowFlowFromSource(int j)
Checks if the flow can be increased between source and a vertex. |
boolean |
mustGrowFlowFromSource(int j)
Checks if the flow must be increased between the source and a vertex. |
void |
putRefMatch(int i,
int j)
Adding the arc i-j in the reference matching without any updates. |
void |
setMatch(int i,
int j)
Adding the arc i-j in the reference matching. |
Methods inherited from class choco.kernel.solver.constraints.global.matching.AbstractBipartiteGraph |
---|
addComponentEdge, addComponentVertex, augment, augmentFlow, deleteEdgeAndPublish, findAlternatingPath, firstDFSearch, firstPassDFS, getNbComponents, initSCCGraph, match, mayDiminishFlowBetween, mayGrowFlowBetween, mayGrowFlowToSink, mayInverseMatch, mayMatch, prettyPrintForDebug, propagate, refreshSCC, removeUselessEdges, secondDFSearch, secondPassDFS |
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint |
---|
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, isSatisfied, isSatisfied |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
---|
activate, awake, constAwake, fail, getEvent, getFilteredEventMask, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected IStateIntVector refInverseMatch
Constructor Detail |
---|
public AbstractBipartiteMatching(IEnvironment environment, IntDomainVar[] vars, int nbLeft, int nbRight)
environment
- vars
- the variablesnbLeft
- number of nodes in the first part of the bipartite matchingnbRight
- number of nodes in the second partMethod Detail |
---|
protected void init()
init
in class AbstractBipartiteGraph
public int inverseMatch(int j)
j
- the vertex
public void increaseMatchingSize(int j)
increaseMatchingSize
in class AbstractBipartiteGraph
j
- useless herepublic void decreaseMatchingSize(int j)
decreaseMatchingSize
in class AbstractBipartiteGraph
j
- useless herepublic void deleteMatch(int i, int j)
deleteMatch
in class AbstractBipartiteGraph
i
- the left vertexj
- the right vertexpublic void putRefMatch(int i, int j)
putRefMatch
in class AbstractBipartiteGraph
i
- the left vertexj
- the right vertexpublic void setMatch(int i, int j)
setMatch
in class AbstractBipartiteGraph
i
- the left vertexj
- the right vertexpublic boolean mayDiminishFlowFromSource(int j)
mayDiminishFlowFromSource
in class AbstractBipartiteGraph
j
- the vertex
public boolean mayGrowFlowFromSource(int j)
mayGrowFlowFromSource
in class AbstractBipartiteGraph
j
- the vertex
public boolean mustGrowFlowFromSource(int j)
mustGrowFlowFromSource
in class AbstractBipartiteGraph
j
- the vertex
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |