src/creator/Wash.java
public static int create(GameInfo gameinfo, Boolean storetransitions) {
		assert(!storetransitions);
		Pair<Game, Boolean> result = create(null, gameinfo, Integer.MAX_VALUE, false);
		if (result == null) return 1000001;
		return result.first().stateSize;
	}
/**
	 * Used for estimating state space size
	 * @param gameinfo			Info about the game
	 * @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 gameinfo                      Info about the game
@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 gameinfo Info about the game @param storetransitions Has to be false @return State space size or 1mil + 1 if it ' s above 1mil
public static int create(GameInfo gameinfo, Boolean storetransitions) {
		assert(!storetransitions);
		Pair<Game, Boolean> result = create(null, gameinfo, Integer.MAX_VALUE, false);
		if (result == null) return 1000001;
		return result.first().stateSize;
	}
public static int create ( GameInfo gameinfo , Boolean storetransitions ) { assert ( ! storetransitions ) ; Pair < Game , Boolean > result = create ( null , gameinfo , Integer . MAX_VALUE , false ) ; if ( result == null ) return 1000001 ; return result . first ( ) . stateSize ; }
Used for estimating state space size
 @param gameinfo                      Info about the game
 @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 gameinfo Info about the game @param storetransitions Has to be false @return State space size or 1mil + 1 if it ' s above 1mil