| Package | Description |
|---|---|
| cz.muni.fi.mir.mathmlunificator |
| Modifier and Type | Method and Description |
|---|---|
static UnificationLevel |
MathMLUnificator.getNodeUnificationLevel(Node node)
Determine the unification level of the
Node and max level of the
unification series. |
Copyright © 2016. All rights reserved.