code: private int evaluateLHS(final Assignment assignment) {
      int lhs = 0;
      for (int i = 0; i < this.literals.length; i++)
        if (this.literals[i].evaluate(assignment))
          lhs += this.coefficients[i];
      return lhs;
    }
docs: Returns the evaluation of the left-hand side of this constraint.
  @param assignment the assignment
  @return the evaluation of the left-hand side of this constraint