public final class StatePairList
extends java.lang.Object
Constructor and Description |
---|
StatePairList()
Constructor for StatePairList.
|
Modifier and Type | Method and Description |
---|---|
void |
addPair(int i,
int j)
addPair.
|
void |
markAll(StatePairList[][] list,
boolean[][] equiv)
markAll.
|
public void addPair(int i, int j)
i
- a int.j
- a int.public void markAll(StatePairList[][] list, boolean[][] equiv)
list
- an array of StatePairList
objects.equiv
- an array of boolean.Copyright © 1998–2020. All rights reserved.