choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms
Class RestrictedSCC

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms.RestrictedSCC

public class RestrictedSCC
extends Object


Field Summary
protected  boolean affiche
           
protected  boolean canBeSAP
           
protected  Vector<BitSet> CFC
           
protected  int[] composante
           
protected  IStateBitSet contain
           
protected  boolean debug
           
protected  boolean firstLeaf
           
protected  StoredBitSetGraph graph
           
protected  LinkedList<Integer> listSuffix
           
protected static Logger LOGGER
           
protected  int[] minReached
           
protected  int nbToReach
           
protected  int nbVertices
           
protected  int numComp
           
protected  int[] prefix
           
protected  BitSet reached
           
protected  BitSet reachedFirst
           
protected  BitSet reachedSecond
           
protected  int[] revPrefix
           
protected  int sap
           
protected  int time
           
 
Constructor Summary
RestrictedSCC(int sap, StoredBitSetGraph graph, IStateBitSet contain)
           
 
Method Summary
 Vector getRestrictedSCC()
          methode principale: calculer le nombre de cfc crees par le retrait d'un sommet
 Vector inverse()
           
 void razStruct()
           
 BitSet restrictDFS_mark(int v, Vector invCGA)
           
 LinkedList<Integer> restrictDFS_suffix(int v, int origin)
           
 
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

debug

protected boolean debug

graph

protected StoredBitSetGraph graph

sap

protected int sap

time

protected int time

composante

protected int[] composante

prefix

protected int[] prefix

reachedFirst

protected BitSet reachedFirst

reachedSecond

protected BitSet reachedSecond

listSuffix

protected LinkedList<Integer> listSuffix

CFC

protected Vector<BitSet> CFC

numComp

protected int numComp

nbVertices

protected int nbVertices

firstLeaf

protected boolean firstLeaf

canBeSAP

protected boolean canBeSAP

revPrefix

protected int[] revPrefix

nbToReach

protected int nbToReach

contain

protected IStateBitSet contain

minReached

protected int[] minReached

reached

protected BitSet reached
Constructor Detail

RestrictedSCC

public RestrictedSCC(int sap,
                     StoredBitSetGraph graph,
                     IStateBitSet contain)
Method Detail

getRestrictedSCC

public Vector getRestrictedSCC()
methode principale: calculer le nombre de cfc crees par le retrait d'un sommet


restrictDFS_suffix

public LinkedList<Integer> restrictDFS_suffix(int v,
                                              int origin)

restrictDFS_mark

public BitSet restrictDFS_mark(int v,
                               Vector invCGA)

razStruct

public void razStruct()

inverse

public Vector inverse()


Copyright © 2012. All Rights Reserved.