public class WhitespaceManagementPenalty.Variant extends Object
Modifier and Type | Field and Description |
---|---|
List<ListElement> |
knuthList |
int |
width |
Constructor and Description |
---|
Variant(List<ListElement> knuthList,
int width) |
Modifier and Type | Method and Description |
---|---|
KnuthElement |
getPenalty() |
WhitespaceManagementPenalty |
getWhitespaceManagementPenalty() |
public final List<ListElement> knuthList
public final int width
public Variant(List<ListElement> knuthList, int width)
public KnuthElement getPenalty()
public WhitespaceManagementPenalty getWhitespaceManagementPenalty()
Copyright © 2025 Apache Software Foundation. All rights reserved.