public final class StatePairList
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
(package private) int |
num |
(package private) int[] |
p |
(package private) int[] |
q |
| Constructor and Description |
|---|
StatePairList() |
| Modifier and Type | Method and Description |
|---|---|
void |
addPair(int i,
int j) |
private void |
increaseSize(int length) |
void |
markAll(StatePairList[][] list,
boolean[][] equiv) |
public void addPair(int i,
int j)
public void markAll(StatePairList[][] list, boolean[][] equiv)
private void increaseSize(int length)