private void appendStateToBuilder(State s,StringBuilder sb){
  Integer n=getStateNumber(s);
  sb.append(n);
  sb.append(";\n ");
}

private void appendStateToBuilder ( State s , StringBuilder sb ) { Integer n = getStateNumber ( s ) ; sb . append ( n ) ; sb . append ( ";\n " ) ; }
append state info to stringbuilder
