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

I

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

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

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

Return the equivalence of this formula with that formula.

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

Return the equivalence of this formula with that formula.

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

Return the equivalence of the given formula with that formula.

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

The symbol for immediate dominance of two nodes.

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

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

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

The symbol for immediate precedence of two nodes.

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

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

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

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

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

Initialize a new immediate dominance, taking two variables as arguments.

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

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

Return the formula that says this variable immediately dominates that variable.

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

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

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

Initialize a new immediate precedence, taking two variables as arguments.

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

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

The symbol for implication of two formulas.

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

A class representing the implication of formulas.

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

Initialize a new implication, given an antecedent and a consequent

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

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

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

Return the implication of this formula with that formula.

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

Return the implication of this formula with that formula.

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

Return the implication of the first formula with the second formula.

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

Put the formulas at the drop location in the order of the list.

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

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

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

A class representing inclusion of a first order variable in a set denotator.

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

Initialize a new inclusion, taking two variables as arguments.

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

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

Check whether this formula is closed.

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

Check whether this formula is closed.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.