Package org.jacop.util
Class LengauerTarjan
java.lang.Object
org.jacop.util.LengauerTarjan
- Direct Known Subclasses:
SophisticatedLengauerTarjan
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) int[]
(package private) BitSet[]
(package private) int
(package private) int[]
(package private) BitSet[]
(package private) BitSet[]
(package private) int[]
(package private) int
(package private) static final int
(package private) int[]
(package private) BitSet[]
(package private) int
(package private) int[]
(package private) BitSet[]
(package private) int[]
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
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
void
init()
private void
link
(int v, int w) (package private) void
printGraph
(PrintStream p, BitSet[] successor) private void
transitiveClosure
(int v, BitSet closure)
-
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
-
generate
-
printGraph
-