Class LengauerTarjan

java.lang.Object
org.jacop.util.LengauerTarjan
Direct Known Subclasses:
SophisticatedLengauerTarjan

public class LengauerTarjan extends Object
  • Field Details

    • NIL

      static final int NIL
      See Also:
    • root

      int root
    • succ

      BitSet[] succ
    • parent

      int[] parent
    • ancestor

      int[] ancestor
    • vertex

      int[] vertex
    • label

      int[] label
    • semi

      int[] semi
    • pred

      BitSet[] pred
    • bucket

      BitSet[] bucket
    • n

      int n
    • dfs_n

      int dfs_n
    • dom

      int[] dom
    • domTreeSucc

      BitSet[] domTreeSucc
    • domClosure

      BitSet[] domClosure
  • Constructor Details

    • LengauerTarjan

      public LengauerTarjan(int n)
  • Method Details

    • 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, BitSet closure)
    • generate

      public void generate(String filename)
    • printGraph

      void printGraph(PrintStream p, BitSet[] successor)