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 ; } }
Bumps a clause and increments it s activity .