code: public boolean hasCardEncoding() {
      if (this.cardinalityEncoding == CardinalityEncoding.TOTALIZER)
        return this.totalizer.hasCreatedEncoding();
      else if (this.cardinalityEncoding == CardinalityEncoding.MTOTALIZER)
        return this.mtotalizer.hasCreatedEncoding();
      return false;
    }
docs: Returns {@code true} if the cardinality encoding was built, {@code false} otherwise.
  @return {@code true} if the cardinality encoding was built