public static void updateCoveredExamples(int feature_index, List covered_pos, List covered_neg) {
    { IntegerWrapper matchValue = ((feature_index > 0) ? Stella.ZERO_WRAPPER : Stella.ONE_WRAPPER);
      int index = (((feature_index < 0) ? (0 - feature_index) : feature_index)) - 1;

      Logic.updateExampleMatches(covered_pos, index, matchValue);
      Logic.updateExampleMatches(covered_neg, index, matchValue);
    }
  }