Package org.chocosolver.util.graphOperations.dominance

Class Summary Class Description AbstractLengauerTarjanDominatorsFinder Class that finds dominators of a given flow graph g(s)AlphaDominatorsFinder Class that finds dominators of a given flow graph g(s) Uses the LT algorithm which runs in O(alpha.m)SimpleDominatorsFinder 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