public void setLiteral(final int pos) {
        if (!this.litwlist.get(pos)) {
            this.litwlist.set(pos);
            this.litWeight++;
            if (this.b[pos]) {
                this.b[pos] = false;
                --this.hammingWeight;
            }
        }
    }
public void setLiteral ( final int pos ) { if ( ! this . litwlist . get ( pos ) ) { this . litwlist . set ( pos ) ; this . litWeight ++ ; if ( this . b [ pos ] ) { this . b [ pos ] = false ; -- this . hammingWeight ; } } }
@param pos position of a literal