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

E

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

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

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

The symbol for equality of two nodes.

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

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

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

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

An object is equal to a binary junctor if it has the same class (i.e., not only it is a binary junctor, but it really has the same leaf-level class), and the arguments are both equal, respectively.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

An object is equal to a quantor if it has the same class (i.e., not only it is a quantor, but it really has the same leaf-level class), the arguments are equal and they bind the same variable.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

Indicates whether some other object is “equal to” this one.

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

An object is equal to a quantor if it has the same class (i.e., not only it is a quantor, but it really has the same leaf-level class), the arguments are equal and they bind the same variable.

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

Indicates whether some other object is “equal to” this one.

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

An object is equal to a unary junctor if it has the same class (i.e., not only it is a unary junctor, but it really has the same leaf-level class), and the arguments are equal.

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

A class representing the equivalence in logical formulas.

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

Initialize a new equivalence between two formulas.

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

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

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

Returns the existential quantification of the given formula over this variable.

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

Return the existential quantification of this formula over the given first order variable.

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

Return the existential quantification of this formula over the given first order variable.

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

Return the existential quantification of this formula over the given first order variable.

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

Return the existential quantification of this formula over the given first order variable.

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

Return the existential quantification of the given formula over the given first order variable.

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

Return the existential quantification of the given formula over the given first order variable.

exists(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderVariable

Returns the existential quantification of the given formula over this variable.

exportDone(JComponent, Transferable, int) - Method in class de.uni_tuebingen.sfb.lichtenstein.UI.FormulaTransferHandler

Remove the formulas moved.