choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph
Class ReducedGraph

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.reducedGraph.ReducedGraph

public class ReducedGraph
extends Object


Field Summary
protected  boolean affiche
           
protected  Vector<IStateBitSet> CFC
           
protected  int[] composante
           
protected  StoredBitSetGraph graph
           
protected  LinkedList<Integer> listSuffix
           
protected static Logger LOGGER
           
protected  int nbVertices
           
protected  int numComp
           
protected  int[] prefix
           
protected  IStateBitSet[] reducedGraph
           
protected  Solver solver
           
protected  int time
           
 
Constructor Summary
ReducedGraph(Solver solver, StoredBitSetGraph graph)
          Constructor
 
Method Summary
 void buildCFCgraph()
           
 void dfs_mark(int v, Vector invCGA)
           
 LinkedList<Integer> dfs_suffix(int v)
           
 Vector<IStateBitSet> getCFC()
           
 IStateBitSet[] getCFCgraph()
           
 IStateBitSet getMergedVertices(int numCFC)
           
 Vector inverse()
           
 void razStruct()
           
 void stronglyConnectedComponent()
          methode principale: calculer les cfc du graphe reduit et stocker les sommets dans la structure du reduit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

ReducedGraph

public ReducedGraph(Solver solver,
                    StoredBitSetGraph graph)
Constructor

Parameters:
solver -
graph -
graph -
Method Detail

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.