Module org.chocosolver
Class AlphaDominatorsFinder
- java.lang.Object
-
- org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- org.chocosolver.util.graphOperations.dominance.AlphaDominatorsFinder
-
public class AlphaDominatorsFinder extends AbstractLengauerTarjanDominatorsFinder
Class that finds dominators of a given flow graph g(s) Uses the LT algorithm which runs in O(alpha.m)
-
-
Constructor Summary
Constructors Constructor Description AlphaDominatorsFinder(int s, DirectedGraph g)
Object that finds dominators of the given flow graph g(s) It uses the LT algorithm which runs in O(alpha.m)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
compress(int v)
protected int
eval(int v)
protected void
initParams(boolean inverseGraph)
protected void
link(int v, int w)
-
Methods inherited from class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
findDominators, findPostDominators, getDominatorTree, getImmediateDominatorsOf, isDomminatedBy
-
-
-
-
Constructor Detail
-
AlphaDominatorsFinder
public AlphaDominatorsFinder(int s, DirectedGraph g)
Object that finds dominators of the given flow graph g(s) It uses the LT algorithm which runs in O(alpha.m)
-
-
Method Detail
-
initParams
protected void initParams(boolean inverseGraph)
- Overrides:
initParams
in classAbstractLengauerTarjanDominatorsFinder
-
link
protected void link(int v, int w)
- Specified by:
link
in classAbstractLengauerTarjanDominatorsFinder
-
eval
protected int eval(int v)
- Specified by:
eval
in classAbstractLengauerTarjanDominatorsFinder
-
compress
protected void compress(int v)
- Specified by:
compress
in classAbstractLengauerTarjanDominatorsFinder
-
-