Package org.jacop.util
Class LengauerTarjan
- java.lang.Object
-
- org.jacop.util.LengauerTarjan
-
- Direct Known Subclasses:
SophisticatedLengauerTarjan
public class LengauerTarjan extends java.lang.Object
-
-
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)
-
-
-
Field Detail
-
NIL
static final int NIL
- See Also:
- Constant Field Values
-
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
-
-
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)
-
-