public class BasisHistory
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int[] |
basis |
protected boolean |
isInitialized |
Constructor and Description |
---|
BasisHistory(int basisSize) |
Modifier and Type | Method and Description |
---|---|
int[] |
getBasis() |
boolean |
isInitialized() |
void |
setInitialized() |