src/creator/Wash.java
private static int reqbit(GameInfo gameinfo, int tank, int delay) {
		assert(tank >= 0 && tank <= gameinfo.n);
		assert(delay >= -1 && delay <= gameinfo.d); // -1 for 'request' bit
		return 1 + tank*(1+gameinfo.d+1) + (1+delay);
	}
/**
	 * Returns tank fill request bit or request delay bit
	 * @param gameinfo	Info about the game
	 * @param tank		Which tank is in question here
	 * @param delay		-1 for request bit, {0,..,d} for delay bits
	 * @return			Position in values vector
	 */
Returns tank fill request bit or request delay bit
@param gameinfo      Info about the game
@param tank          Which tank is in question here
@param delay         -1 for request bit, {0,..,d} for delay bits
@return                      Position in values vector
Returns tank fill request bit or request delay bit @param gameinfo Info about the game @param tank Which tank is in question here @param delay - 1 for request bit { 0 .. d } for delay bits @return Position in values vector
private static int reqbit(GameInfo gameinfo, int tank, int delay) {
		assert(tank >= 0 && tank <= gameinfo.n);
		assert(delay >= -1 && delay <= gameinfo.d); 
		return 1 + tank*(1+gameinfo.d+1) + (1+delay);
	}
private static int reqbit ( GameInfo gameinfo , int tank , int delay ) { assert ( tank >= 0 && tank <= gameinfo . n ) ; assert ( delay >= - 1 && delay <= gameinfo . d ) ; return 1 + tank * ( 1 + gameinfo . d + 1 ) + ( 1 + delay ) ; }
Returns tank fill request bit or request delay bit
 @param gameinfo      Info about the game
 @param tank          Which tank is in question here
 @param delay         -1 for request bit, {0,..,d} for delay bits
 @return                      Position in values vector
Returns tank fill request bit or request delay bit @param gameinfo Info about the game @param tank Which tank is in question here @param delay - 1 for request bit { 0 .. d } for delay bits @return Position in values vector
// -1 for 'request' bit