public final class StatePairList extends Object
Constructor and Description |
---|
StatePairList() |
Modifier and Type | Method and Description |
---|---|
void |
addPair(int i,
int j) |
void |
markAll(StatePairList[][] list,
boolean[][] equiv) |
public void addPair(int i, int j)
public void markAll(StatePairList[][] list, boolean[][] equiv)
Copyright © 1998–2016. All rights reserved.