Class WhitespaceManagementPenalty.Variant

    • Field Detail

      • knuthList

        public final java.util.List<ListElement> knuthList
      • width

        public final int width
    • Constructor Detail

      • Variant

        public Variant​(java.util.List<ListElement> knuthList,
                       int width)