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

T

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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

Returns a string representation of the object.

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