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

E

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.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.

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.