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

H

hasAsArgument(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Returns whether this n-ary junctor has the given formula as an argument.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

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

Returns a hash code value for the object.

heightPrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The preference key for the main window height.