src/creator/Rabinizer.java
private static ArrayList<String> permutations(String filename) {
		ArrayList<String> result = new ArrayList<String>();
		String token;
		
		try (Scanner sc = new Scanner(new File("benchmarks/rabinizer/"+filename+".hoa"))) {
			do {
				token = sc.nextLine();
				if (token.startsWith("State: ")) {
					int end = token.length()-1;
					while (token.charAt(end) != ']') end--;
					int start = end;
					while (token.charAt(start) != ')') start--;
					start += 2;
					end++;
					
					String cand = token.substring(start, end);
					boolean there = false;
					for (int i=0; i<result.size(); i++)
						if (result.get(i).equals(cand)) {
							there = true;
							break;
						}
					if (!there)
						result.add(cand);
				}
			} while (!token.startsWith("--END--"));
		} catch (Exception e) {
    		//e.printStackTrace();
    		return null;
		}
		
		return result;
	}
/**
	 * State-information encoding: permutations in third part
	 * @param filename	Name of the parity automaton file (filename.hoa)
	 * @return			State-information
	 */
State-information encoding: permutations in third part
@param filename      Name of the parity automaton file (filename.hoa)
@return                      State-information
State - information encoding : permutations in third part @param filename Name of the parity automaton file ( filename . hoa ) @return State - information
private static ArrayList<String> permutations(String filename) {
		ArrayList<String> result = new ArrayList<String>();
		String token;
		try (Scanner sc = new Scanner(new File("benchmarks/rabinizer/"+filename+".hoa"))) {
			do {
				token = sc.nextLine();
				if (token.startsWith("State: ")) {
					int end = token.length()-1;
					while (token.charAt(end) != ']') end--;
					int start = end;
					while (token.charAt(start) != ')') start--;
					start += 2;
					end++;
					String cand = token.substring(start, end);
					boolean there = false;
					for (int i=0; i<result.size(); i++)
						if (result.get(i).equals(cand)) {
							there = true;
							break;
						}
					if (!there)
						result.add(cand);
				}
			} while (!token.startsWith("--END--"));
		} catch (Exception e) {
    		return null;
		}
		return result;
	}
private static ArrayList < String > permutations ( String filename ) { ArrayList < String > result = new ArrayList < String > ( ) ; String token ; try ( Scanner sc = new Scanner ( new File ( "benchmarks/rabinizer/" + filename + ".hoa" ) ) ) { do { token = sc . nextLine ( ) ; if ( token . startsWith ( "State: " ) ) { int end = token . length ( ) - 1 ; while ( token . charAt ( end ) != ']' ) end -- ; int start = end ; while ( token . charAt ( start ) != ')' ) start -- ; start += 2 ; end ++ ; String cand = token . substring ( start , end ) ; boolean there = false ; for ( int i = 0 ; i < result . size ( ) ; i ++ ) if ( result . get ( i ) . equals ( cand ) ) { there = true ; break ; } if ( ! there ) result . add ( cand ) ; } } while ( ! token . startsWith ( "--END--" ) ) ; } catch ( Exception e ) { return null ; } return result ; }
State-information encoding: permutations in third part
 @param filename      Name of the parity automaton file (filename.hoa)
 @return                      State-information
State - information encoding : permutations in third part @param filename Name of the parity automaton file ( filename . hoa ) @return State - information
//e.printStackTrace();