public Gss(int stateCount) { front = new GssNode <T> [stateCount]; Count = 0; history = new CircularStack <GssNode <T> >(2 * stateCount + 2); AddTopmost(0); }