private boolean doStringAVM(String oldString) throws SolverTimeoutException {
  boolean improvement=false;
  for (int i=0; i < oldString.length(); i++) {
    if (isFinished()) {
      throw new SolverTimeoutException();
    }
    log.info("Current character: " + i);
    if (doCharacterAVM(i))     improvement=true;
  }
  return improvement;
}

private boolean doStringAVM ( String oldString ) throws SolverTimeoutException { boolean improvement = false ; for ( int i = 0 ; i < oldString . length ( ) ; i ++ ) { if ( isFinished ( ) ) { throw new SolverTimeoutException ( ) ; } log . info ( "Current character: " + i ) ; if ( doCharacterAVM ( i ) ) improvement = true ; } return improvement ; }
apply avm to all characters in a string
