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

D

de.uni_tuebingen.sfb.lichtenstein.binarytrees - package de.uni_tuebingen.sfb.lichtenstein.binarytrees

de.uni_tuebingen.sfb.lichtenstein.exceptions - package de.uni_tuebingen.sfb.lichtenstein.exceptions

de.uni_tuebingen.sfb.lichtenstein.formulas - package de.uni_tuebingen.sfb.lichtenstein.formulas

de.uni_tuebingen.sfb.lichtenstein.formulas.parsing - package de.uni_tuebingen.sfb.lichtenstein.formulas.parsing

de.uni_tuebingen.sfb.lichtenstein.main - package de.uni_tuebingen.sfb.lichtenstein.main

de.uni_tuebingen.sfb.lichtenstein.treebanks - package de.uni_tuebingen.sfb.lichtenstein.treebanks

de.uni_tuebingen.sfb.lichtenstein.UI - package de.uni_tuebingen.sfb.lichtenstein.UI

delete() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgGta

delete() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

dfa6 - Variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

DISJUNCTION - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for disjunction of two formulas.

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

A class representing the disjunction of formulas.

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

Initialize a new disjunction, taking formulas as disjuncts.

DISJUNCTION - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

DISJUNCTION - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

DOMINANCE - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for dominance of two nodes.

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

A class representing the atomic formula which says one node dominates another.

Dominance(FirstOrderVariable, FirstOrderVariable) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Initialize a new dominance, taking two variables as arguments.

DOMINANCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

DOMINANCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

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

dominates(FirstOrderVariable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Return the formula that says this variable dominates that variable.