private void assertCharVectors(int n){
  int k=2 * n + 1;
  int limit=(int)Math.pow(2,k + 2);
  for (int i=0; i < limit; i++) {
    String encoded=Integer.toString(i,2);
    assertLev(encoded,n);
  }
}

private void assertCharVectors ( int n ) { int k = 2 * n + 1 ; int limit = ( int ) Math . pow ( 2 , k + 2 ) ; for ( int i = 0 ; i < limit ; i ++ ) { String encoded = Integer . toString ( i , 2 ) ; assertLev ( encoded , n ) ; } }
tests all possible characteristic vectors for some n this exhaustively tests the parametric transitions tables .
