choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms
Class RestrictedSCC
java.lang.Object
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms.RestrictedSCC
public class RestrictedSCC
- 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
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
RestrictedSCC
public RestrictedSCC(int sap,
StoredBitSetGraph graph,
IStateBitSet contain)
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.