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