/*
   * (non-Javadoc)
   *
   * @see com.dell.mensa.IFailureFunction#add(com.dell.mensa.int, com.dell.mensa.int)
   */
  @Override
  public int put(final int state_, final int failureState_) {
    Verify.notNegative(state_, PARM_state);
    Verify.notNegative(failureState_, PARM_failureState);

    while (state_ >= map.length) {
      expand();
    }

    if (state_ > maxIndex) {
      maxIndex = state_;
    }

    final int previous = map[state_];
    map[state_] = failureState_;
    return previous;
  }
 /*
  * (non-Javadoc)
  *
  * @see com.dell.mensa.IFailureFunction#f(com.dell.mensa.int)
  */
 @Override
 public int eval(final int state_) {
   Verify.notNegative(state_, PARM_state);
   return state_ < map.length ? map[state_] : IGotoFunction.NO_STATE;
 }