code: private void bumpClause(final CLClause c) {
          switch (this.config.cbump) {
              case INC:
                  c.setActivity(c.activity() + 1);
                  break;
              case LRU:
                  c.setActivity(this.stats.conflicts);
                  break;
              case AVG:
                  c.setActivity((this.stats.conflicts + c.activity()) / 2);
                  break;
              case NONE:
              default:
                  assert this.config.cbump == CleaneLingConfig.ClauseBumping.NONE;
                  break;
          }
      }
docs: Bumps a clause and increments it's activity.
  @param c the clause