src/creator/Rabinizer.java
public static int apnumber(String filename) {
		String token;
		try (Scanner sc = new Scanner(new File("benchmarks/rabinizer/"+filename+".hoa"))) {
			token = sc.next();
			while (!token.equals("AP:"))
				token = sc.next();
			return sc.nextInt();
		} catch (Exception e) {
    		//e.printStackTrace();
    		return -1;
		}
	}
/**
	 * Finds out the number of atomic propositions for a given parity automaton
	 * @param filename 	Name of the parity automaton file (filename.hoa)
	 * @return			Number of atomic propositions
	 */
Finds out the number of atomic propositions for a given parity automaton
@param filename      Name of the parity automaton file (filename.hoa)
@return                      Number of atomic propositions
Finds out the number of atomic propositions for a given parity automaton @param filename Name of the parity automaton file ( filename . hoa ) @return Number of atomic propositions
public static int apnumber(String filename) {
		String token;
		try (Scanner sc = new Scanner(new File("benchmarks/rabinizer/"+filename+".hoa"))) {
			token = sc.next();
			while (!token.equals("AP:"))
				token = sc.next();
			return sc.nextInt();
		} catch (Exception e) {
    		return -1;
		}
	}
public static int apnumber ( String filename ) { String token ; try ( Scanner sc = new Scanner ( new File ( "benchmarks/rabinizer/" + filename + ".hoa" ) ) ) { token = sc . next ( ) ; while ( ! token . equals ( "AP:" ) ) token = sc . next ( ) ; return sc . nextInt ( ) ; } catch ( Exception e ) { return - 1 ; } }
Finds out the number of atomic propositions for a given parity automaton
 @param filename      Name of the parity automaton file (filename.hoa)
 @return                      Number of atomic propositions
Finds out the number of atomic propositions for a given parity automaton @param filename Name of the parity automaton file ( filename . hoa ) @return Number of atomic propositions
//e.printStackTrace();