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

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