docs: public final int getNumberOfPossibleAssignments() {
      int[] sizes = getVariableSizes();
      int numAssignments = 1;
      for (int i = 0; i < sizes.length; i++) {
        numAssignments *= sizes[i];
      }
      return numAssignments;
    }