Module org.chocosolver
Class SimpleDominatorsFinder
- java.lang.Object
-
- org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- org.chocosolver.util.graphOperations.dominance.SimpleDominatorsFinder
-
public class SimpleDominatorsFinder extends AbstractLengauerTarjanDominatorsFinder
Class that finds dominators of a given flow graph g(s) Uses the simple LT algorithm which runs in O(m.log(n)) Fast in practice
-
-
Constructor Summary
Constructors Constructor Description SimpleDominatorsFinder(int s, DirectedGraph g)
Object that finds dominators of the given flow graph g(s) It uses the simple LT algorithm which runs in O(m.log(n))
-
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
link(int v, int w)
-
Methods inherited from class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
findDominators, findPostDominators, getDominatorTree, getImmediateDominatorsOf, initParams, isDomminatedBy
-
-
-
-
Constructor Detail
-
SimpleDominatorsFinder
public SimpleDominatorsFinder(int s, DirectedGraph g)
Object that finds dominators of the given flow graph g(s) It uses the simple LT algorithm which runs in O(m.log(n))
-
-
Method Detail
-
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
-
-