A B C D E F G H I L N O P Q S T U V

I

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.

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.

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

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

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

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.

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.

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.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.

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

Check whether the given variable is free in this formula.