org.chocosolver.util.graphOperations.dominance

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)

Field Summary

Fields inherited from class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder

ancestor, bucket, dom, g, k, label, list, n, parent, preds, root, semi, succs, T, vertex

Constructor Summary

Constructors

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

Methods

Modifier and Type	Method and 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

addToBucket, DFS, findAllIdom, findDominators, findPostDominators, getDominatorTree, getImmediateDominatorsOf, isArcDominator, isDomminatedBy, preprocessDominanceRequests

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 class AbstractLengauerTarjanDominatorsFinder

LINK

protected void LINK(int v,
        int w)

Specified by:

LINK in class AbstractLengauerTarjanDominatorsFinder

EVAL

protected int EVAL(int v)

Specified by:

EVAL in class AbstractLengauerTarjanDominatorsFinder

COMPRESS

protected void COMPRESS(int v)

Specified by:

COMPRESS in class AbstractLengauerTarjanDominatorsFinder