Class TreeMetrics

java.lang.Object

com.knezevic.edaf.v3.repr.grammar.render.TreeMetrics

public final class TreeMetrics
extends Object

Structural metrics for derivation trees.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	TreeMetrics.Summary	Immutable metrics summary.

Method Summary

Modifier and Type	Method	Description
static TreeMetrics.Summary	summarize(DerivationTree tree)	Computes depth, size, and operator usage summary.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

summarize

public static TreeMetrics.Summary summarize(DerivationTree tree)

Computes depth, size, and operator usage summary.