public class WhitespaceManagementPenalty.Variant
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
java.util.List<ListElement> |
knuthList |
|
int |
width |
Constructor | Description |
---|---|
Variant(java.util.List<ListElement> knuthList,
int width) |
Modifier and Type | Method | Description |
---|---|---|
KnuthElement |
getPenalty() |
|
WhitespaceManagementPenalty |
getWhitespaceManagementPenalty() |
public final java.util.List<ListElement> knuthList
public final int width
public Variant(java.util.List<ListElement> knuthList, int width)
public KnuthElement getPenalty()
public WhitespaceManagementPenalty getWhitespaceManagementPenalty()
Copyright 1999-2016 The Apache Software Foundation. All Rights Reserved.