Package

at.logic.gapt.utils.ds.algebraic

trees

Permalink

package trees

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. 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

    Permalink
  2. case class TerminalNode[+V, +E](node: V) extends Tree[V, E] with TerminalNodeA[V, E] with Product with Serializable

    Permalink
  3. trait Tree[+V, +E] extends TreeA[V, E]

    Permalink

Ungrouped