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

C

canImport(TransferHandler.TransferSupport) - Method in class de.uni_tuebingen.sfb.lichtenstein.UI.FormulaTransferHandler

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

The symbol for the category of a node.

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

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

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

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

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

A class representing a composed formula, i.e. a formula which consists of other formulas, connected by an operator.

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

Initialize a new composed formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Compute the set of predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Compute the set of predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl

Compute the set of predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Compute the set of predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediatePrecedence

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Compute the set of predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Compute the set of predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Return all predicates in this formula.

computePredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Return all predicates in this formula.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Compute the set of variables in this formula.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Compute the set of variables in this formula.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl

Compute the set of variables in this formula.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediatePrecedence

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Compute the set of variables in this formula.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Compute the set of variables in this formula.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Simply return the two variables.

computeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Compute the set of variables in this formula.

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

The symbol for conjunction of two formulas.

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

A class representing the conjunction of formulas.

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

Initialize a new conjunction, taking formulas as conjuncts.

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

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

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

The symbol for containment of a node in a set.

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

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

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

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

Return the formula that says that variable is an element of this set.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediatePrecedence

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Returns whether this formula contains the given variable.

convert(File, File) - Static method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.TreebankConverter

Convert a corpus file into binary trees.

convertTreebank(File) - Static method in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

Convert the given tree bank.

COPYRIGHT - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

Copyright information for the program.

createTransferable(JComponent) - Method in class de.uni_tuebingen.sfb.lichtenstein.UI.FormulaTransferHandler

Puts the selected formulas from the list (c has to be a JList) into a DataHandler as a local JVM object.