A B C D E F G H I L M N O P Q R S T U V W X Y

B

baseFileDirPrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The key in the user preferences at which the precompiled tree banks and temporary files are stored.

binary() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

BinaryJunctor - Class in de.uni_tuebingen.sfb.lichtenstein.formulas

A superclass for implication and equivalence, implementing common methods for binary junctors.

BinaryJunctor(Formula, Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Initialize a new binary junctor, taking two formulas as arguments.

BinaryTree - Class in de.uni_tuebingen.sfb.lichtenstein.binarytrees

Binary trees are the trees to which sentences will be converted and which will be the input for automata to check.

BinaryTree(BinaryTree.BinaryNode, String, String) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree

Initialize a new BinaryTree, taking the given node as root.

BinaryTree.BinaryNode - Class in de.uni_tuebingen.sfb.lichtenstein.binarytrees

A node in a binary tree.

BinaryTree.BinaryNode(List<String>, BinaryTree.BinaryNode, BinaryTree.BinaryNode) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree.BinaryNode

Initialize a new BinaryNode with the given first and second daughter.

body() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser