at
.
logic
.
gapt
.
utils
.
ds
.
algebraic
trees
package
trees
Content Hierarchy
Learn more about scaladoc diagrams
NonTerminalNode[V, E]
TerminalNode[V, E]
Tree[V, E]
Visibility
Public
All
Type Members
case class
NonTerminalNode
[
+V
,
+E
]
(
node:
V
,
children:
Seq
[(
Tree
[
V
,
E
],
E
)]
)
extends
Tree
[
V
,
E
] with
NonTerminalNodeA
[
V
,
E
] with
Product
with
Serializable
case class
TerminalNode
[
+V
,
+E
]
(
node:
V
)
extends
Tree
[
V
,
E
] with
TerminalNodeA
[
V
,
E
] with
Product
with
Serializable
trait
Tree
[
+V
,
+E
]
extends
TreeA
[
V
,
E
]
Ungrouped