Class LengauerTarjan

    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) int[] ancestor  
      (package private) java.util.BitSet[] bucket  
      (package private) int dfs_n  
      (package private) int[] dom  
      (package private) java.util.BitSet[] domClosure  
      (package private) java.util.BitSet[] domTreeSucc  
      (package private) int[] label  
      (package private) int n  
      (package private) static int NIL  
      (package private) int[] parent  
      (package private) java.util.BitSet[] pred  
      (package private) int root  
      (package private) int[] semi  
      (package private) java.util.BitSet[] succ  
      (package private) int[] vertex  
    • Constructor Summary

      Constructors 
      Constructor Description
      LengauerTarjan​(int n)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addArc​(int u, int v)  
      (package private) void compress​(int v)  
      private void dfs​(int v)  
      boolean dominatedBy​(int n1, int n2)  
      boolean dominators​(int r)  
      private int eval​(int v)  
      void generate​(java.lang.String filename)  
      void init()  
      private void link​(int v, int w)  
      (package private) void printGraph​(java.io.PrintStream p, java.util.BitSet[] successor)  
      private void transitiveClosure​(int v, java.util.BitSet closure)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • root

        int root
      • succ

        java.util.BitSet[] succ
      • parent

        int[] parent
      • ancestor

        int[] ancestor
      • vertex

        int[] vertex
      • label

        int[] label
      • semi

        int[] semi
      • pred

        java.util.BitSet[] pred
      • bucket

        java.util.BitSet[] bucket
      • n

        int n
      • dfs_n

        int dfs_n
      • dom

        int[] dom
      • domTreeSucc

        java.util.BitSet[] domTreeSucc
      • domClosure

        java.util.BitSet[] domClosure
    • Constructor Detail

      • LengauerTarjan

        public LengauerTarjan​(int n)
    • Method Detail

      • init

        public void init()
      • dominators

        public boolean dominators​(int r)
      • dfs

        private void dfs​(int v)
      • compress

        void compress​(int v)
      • eval

        private int eval​(int v)
      • link

        private void link​(int v,
                          int w)
      • addArc

        public void addArc​(int u,
                           int v)
      • dominatedBy

        public boolean dominatedBy​(int n1,
                                   int n2)
      • transitiveClosure

        private void transitiveClosure​(int v,
                                       java.util.BitSet closure)
      • generate

        public void generate​(java.lang.String filename)
      • printGraph

        void printGraph​(java.io.PrintStream p,
                        java.util.BitSet[] successor)