choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph
Class ReducedGraph
java.lang.Object
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph.ReducedGraph
public class ReducedGraph
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LOGGER
protected static final Logger LOGGER
affiche
protected boolean affiche
solver
protected Solver solver
nbVertices
protected int nbVertices
graph
protected StoredBitSetGraph graph
time
protected int time
numComp
protected int numComp
composante
protected int[] composante
prefix
protected int[] prefix
listSuffix
protected LinkedList<Integer> listSuffix
CFC
protected Vector<IStateBitSet> CFC
reducedGraph
protected IStateBitSet[] reducedGraph
ReducedGraph
public ReducedGraph(Solver solver,
StoredBitSetGraph graph)
- Constructor
- Parameters:
solver
- graph
- graph
-
stronglyConnectedComponent
public void stronglyConnectedComponent()
- methode principale: calculer les cfc du graphe reduit et stocker les sommets dans la structure du reduit
buildCFCgraph
public void buildCFCgraph()
razStruct
public void razStruct()
dfs_suffix
public LinkedList<Integer> dfs_suffix(int v)
dfs_mark
public void dfs_mark(int v,
Vector invCGA)
inverse
public Vector inverse()
getCFC
public Vector<IStateBitSet> getCFC()
getCFCgraph
public IStateBitSet[] getCFCgraph()
getMergedVertices
public IStateBitSet getMergedVertices(int numCFC)
Copyright © 2012. All Rights Reserved.