Package org.jacop.util

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)