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

C

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

A class representing a composed formula, i.e. a formula which consists of other formulas, connected by an operator.

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

A class representing the conjunction of formulas.

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

Initialize a new conjunction, taking formulas as conjuncts.

contains(FirstOrderVariable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SetDenotator

Return the formula that says that variable is an element of this set.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

containsVariable(Variable) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.

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

Returns whether this formula contains the given variable.