Beispiel #1
0
  @Override
  public boolean remove(Object ci) {
    if (super.remove((ClauseInfo) ci)) {
      unregister((ClauseInfo) ci);

      return true;
    }
    return false;
  }