public void addSoftClause ( int weight , final LNGIntVector lits ) { final LNGIntVector rVars = new LNGIntVector ( ) ; this . softClauses . push ( new MSSoftClause ( lits , weight , LIT_UNDEF , rVars ) ) ; this . nbSoft ++ ; }
Adds a new soft clause to the soft clause database .