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

N

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

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

name - Variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.Variable

The name of this variable.

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

A superclass for conjunction and disjunction, implementing common methods for binary junctors.

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

Initialize a new n-ary junctor, taking an unlimited number of formulas as arguments.

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

The symbol for negation of a formula.

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

A class representing logical negation of a formula.

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

Initialize a new negation, given the formula to be negated.

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

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

NEGRA_EXPORT_FILE_ENDING - Static variable in class de.uni_tuebingen.sfb.lichtenstein.treebanks.TreebankConverter

The file ending for the treebank file in NEGRA export format.

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

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

Node - Class in de.uni_tuebingen.sfb.lichtenstein.treebanks

A node in a tree representing a sentence in the corpus.

Node(int, int, String, String, String) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

Create a non-leaf node.

Node(int, int, String, String, String, String, String) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.treebanks.Node

Create a leaf node.

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

Return the negation of this formula.

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

Return the negation of this formula.

not(Formula) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Formulas

Return the negation of the given formula.

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

The negation of a negation is the formula itself.