Package | Description |
---|---|
org.processmining.ptandloggenerator.models | |
org.processmining.ptandloggenerator.parsers |
Constructor and Description |
---|
JavaTree(JavaTree treeToCopy)
Copy constructor used to create versions of trees that are identical to the supplied input tree.
|
Modifier and Type | Method and Description |
---|---|
JavaTree |
NewickTreeParser.getTree() |