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

G

getAllSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Returns a list containing all subformulas of this formula.

getAntecedent() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Return the antecedent of this implication.

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

Returns the formula this quantor acts on.

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

Get the indexth argument.

getArgument() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification

Returns the formula this quantor acts on.

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

Returns the formula this quantor acts on.

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

Returns the argument.

getArguments() - Method in exception de.uni_tuebingen.sfb.lichtenstein.exceptions.FunctionArgumentsMismatchException

Returns the arguments.

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

Get the directory where temporary files are stored for this execution.

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

Returns the variable that is bound by this quantor.

getBoundVariable() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification

Returns the variable that is bound by this quantor.

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

Returns the variable that is bound by this quantor.

getConsequent() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Return the consequent of this implication.

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

Returns the containing variable.

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

Get the directory where precompiled corpora are stored.

getCPtr(mgGta) - Static method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgGta

getCPtr(mgTreeNode) - Static method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

getDaughters() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

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

Returns the dominated variable.

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

Returns the dominated variable.

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

Returns the dominated variable.

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

Returns the dominating variable.

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

Returns the dominating variable.

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

Returns the dominating variable.

getDummyClass(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Returns the class of the indexth dummy variable.

getEdgeLabel() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

getEquivalentFormula() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence

Returns a formula which is equivalent to this equivalence: (first -> second) & (second -> first).

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

Returns the first argument.

getFirstDaughter() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree.BinaryNode

Returns the first daughter.

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

Returns the first variable.

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

Returns the first variable.

getFormula() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.Query

Get the formula being queried.

getFormula() - Method in exception de.uni_tuebingen.sfb.lichtenstein.exceptions.LispFormulaParseException

Get the offending formula.

getFormula(Variable...) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Return the formula that results from replacing the free variables which were supplied during the creation of this template by the variables supplied as arguments to this method.

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

Return the free variables in this formula.

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

Return the free variables in this formula.

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

Return the free variables in this formula.

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

Return the free variables in this formula.

getGrammarFileName() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

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

getId() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree

Get the id of the linguistic tree this binary tree derives from.

getId() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

Get the ID of this tree in the tree bank.

getId() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Sentence

Get the id of the linguistic tree this binary tree derives from.

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

Returns the included variable.

getInstance(String) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Factory method to get a variable.

getInstance(String) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Predicate

Factory method to get a predicate.

getInstance(String) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderVariable

Factory method to get a variable.

getLabel() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Predicate

Get the label of this predicate.

getLabels() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree.BinaryNode

Returns the labels.

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

getLeftCorner() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

getLemma() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

Get the lemma tag.

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

Get the log file.

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

Get the directory where where mona files and automata are stored.

getMorph() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

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

Get the name.

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

Return the number of arguments.

getNbDummies() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Returns the number of variables that has to be supplied to this template to create a formula.

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

Returns the number of direct subformulas.

getNbSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Returns the number of subformulas of this formula.

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

Returns the number of subformulas of this formula.

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

Returns the number of subformulas of this formula.

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

Returns the number of subformulas of this formula.

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

Returns the number of subformulas.

getNegatedFormula() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

Returns the negated formula.

getNextSubformula() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

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

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getParentId() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

Get the ID of the parent in the tree.

getPos() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

Get the Part-Of-Speech tag.

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

Returns the preceded variable.

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

Returns the preceded variable.

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

Returns the preceding variable.

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

Returns the preceding variable.

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

Return all predicates that occur in this formula.

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

Return all predicates that occur in this formula.

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

getRightCorner() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

getRoot() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree

Get the root of this tree.

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

Returns the second argument.

getSecondDaughter() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree.BinaryNode

Returns the second daughter.

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

Returns the second variable.

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

Returns the second variable.

getSentence() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree

Get the sentence this tree represents.

getSentence() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Sentence

Get the sentence this tree represents.

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

getString(String) - Static method in class de.uni_tuebingen.sfb.lichtenstein.exceptions.Messages

Get the string with the given key.

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

Returns the subformulas this binary junction is built up of.

getSubformulaAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Returns the indexth subformula of this formula.

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

Returns the indexth subformula of this formula.

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

Returns the indexth subformula of this formula.

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

Returns the indexth subformula of this formula.

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

Returns the indexth subformula of this formula.

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

Returns the subset variable.

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

Returns the superset variable.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

Return the textual representation of this unary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification

Return the textual representation of this binary junctor.

getTemplateFormula() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Return the formula that serves as a template.

getToken() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

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

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

Return the variables in this formula.

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

Return the variables in this formula.

getWord() - Method in class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node