org.chocosolver.util.graphOperations.dominance

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

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

Methods

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

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

Methods inherited from class java.lang.Object

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

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