Module org.chocosolver.solver

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