LengauerTarjan

java.lang.Object

org.jacop.util.LengauerTarjan

Direct Known Subclasses:: SophisticatedLengauerTarjan

public class LengauerTarjan extends Object

Field Summary

Fields

Modifier and Type

Field

Description

(package private) int[]

ancestor

(package private) BitSet[]

bucket

(package private) int

dfs_n

(package private) int[]

dom

(package private) BitSet[]

domClosure

(package private) BitSet[]

domTreeSucc

(package private) int[]

label

(package private) int

n

(package private) static final int

NIL

(package private) int[]

parent

(package private) BitSet[]

pred

(package private) int

root

(package private) int[]

semi

(package private) BitSet[]

succ

(package private) int[]

vertex
Constructor Summary

Constructors

Constructor

Description

LengauerTarjan(int n)
Method Summary

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(String filename)

void

init()

private void

link(int v, int w)

(package private) void

printGraph(PrintStream p, BitSet[] successor)

private void

transitiveClosure(int v, BitSet closure)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- NIL
  
  static final int NIL
  See Also:
  
  Constant Field Values
- 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)