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