Method implies

core/src/main/java/org/apache/calcite/util/ArrowSet.java:284–290

Returns true if, from this ArrowSet, one can deduce that determinants determine dependents. That is, if dependents ⊆ closure(determinants).

(ImmutableBitSet determinants, ImmutableBitSet dependents)

   * if {@code dependents} ⊆ closure({@code determinants}).
   */
  public boolean implies(ImmutableBitSet determinants, ImmutableBitSet dependents) {
    ImmutableBitSet dets = determinantsToDependentsMap.get(determinants);
    if (dets != null && dets.contains(dependents)) {
      return true;
    }
    return dependents(determinants).contains(dependents);
  }

  /**
   * Builder for ArrowSet.