src/creator/Aiger.java
public static int create(String filename, Boolean storetransitions) {
		assert(!storetransitions);
		Pair<Game, Boolean> result = create(null, filename, Integer.MAX_VALUE, false);
		if (result == null) return -1;
		return result.first().stateSize;
	}
/**
	 * Used for estimating state space size
	 * @param filename			Name of the AIGER file
	 * @param storetransitions	Has to be false
	 * @return 					State space size or 1mil+1 if it's above 1mil
	 */
Used for estimating state space size
@param filename                      Name of the AIGER file
@param storetransitions      Has to be false
@return                                      State space size or 1mil+1 if it's above 1mil
Used for estimating state space size @param filename Name of the AIGER file @param storetransitions Has to be false @return State space size or 1mil + 1 if it ' s above 1mil
public static int create(String filename, Boolean storetransitions) {
		assert(!storetransitions);
		Pair<Game, Boolean> result = create(null, filename, Integer.MAX_VALUE, false);
		if (result == null) return -1;
		return result.first().stateSize;
	}
public static int create ( String filename , Boolean storetransitions ) { assert ( ! storetransitions ) ; Pair < Game , Boolean > result = create ( null , filename , Integer . MAX_VALUE , false ) ; if ( result == null ) return - 1 ; return result . first ( ) . stateSize ; }
Used for estimating state space size
 @param filename                      Name of the AIGER file
 @param storetransitions      Has to be false
 @return                                      State space size or 1mil+1 if it's above 1mil
Used for estimating state space size @param filename Name of the AIGER file @param storetransitions Has to be false @return State space size or 1mil + 1 if it ' s above 1mil