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.