Uses of Package
de.uni_tuebingen.sfb.lichtenstein.binarytrees

Packages that use de.uni_tuebingen.sfb.lichtenstein.binarytrees

de.uni_tuebingen.sfb.lichtenstein.binarytrees
de.uni_tuebingen.sfb.lichtenstein.treebanks

Classes in de.uni_tuebingen.sfb.lichtenstein.binarytrees used by de.uni_tuebingen.sfb.lichtenstein.binarytrees

BinaryTree.BinaryNode
A node in a binary tree.

FormulaParser
A class to parse a formula given by the user.

mgGta
A wrapper class around a C construct.

mgTreeNode
A wrapper class around a C construct.

MonaFormulaParser
A class to parse a formula given by the user into a Mona formula.

Classes in de.uni_tuebingen.sfb.lichtenstein.binarytrees used by de.uni_tuebingen.sfb.lichtenstein.treebanks

BinaryTree.BinaryNode
A node in a binary tree.