code: public boolean isTrue(Configuration configuration) {
          for (int i = 0; i < this.variables.size(); ++i) {
              Variable variable = this.variables.get(i);
              if (configuration.valueAt(variable.getIndex()) == 1 && !this.negatedFlags.get(i))
                  return true;
              if (configuration.valueAt(variable.getIndex()) == 0 && this.negatedFlags.get(i))
                  return true;
          }
  
          return false;
      }
docs: Checks if clause evaluates to true.
  <p/>
  Clause evaluates to true iff at least one variable evaluates to true.
  
  @param configuration configuration for which to evaluate
  @return clause evaluations