Class DominatorEngine


  • public class DominatorEngine
    extends java.lang.Object
    • Constructor Detail

      • DominatorEngine

        public DominatorEngine​(Statement statement)
    • Method Detail

      • initialize

        public void initialize()
      • getOrderedIDoms

        public VBStyleCollection<java.lang.Integer,​java.lang.Integer> getOrderedIDoms()
      • isDominator

        public boolean isDominator​(java.lang.Integer node,
                                   java.lang.Integer dom)
      • allDomsFor

        public java.util.Set<java.lang.Integer> allDomsFor​(java.lang.Integer start)