Package | Description |
---|---|
fmrisc.ProofNavigator.Communication |
Modifier and Type | Method and Description |
---|---|
static BreakInfo |
BreakInfo.compute(AST tree,
boolean mathml)
Construct the line break information for the denoted tree.
|
Modifier and Type | Method and Description |
---|---|
static int |
BreakInfo.length(BreakInfo[] infos)
Get sum of the lengths of the info nodes
|