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

S

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

A class representing the atomic formula that says two variables are equal.

SecondOrderEquality(SetDenotator, SetDenotator) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Initialize a new equality, involving two set denotators.

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

A class representing the existential quantification of a formula over a second order variable.

SecondOrderExistentialQuantification(SecondOrderVariable, Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification

Initialize a new existential quantor, given a variable to bind and a formula to act upon.

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

A class for representing quantors on second order variables, implementing common methods for existential and universal quantors.

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

A class representing universal quantification of a formula over a second order variable.

SecondOrderUniversalQuantification(SecondOrderVariable, Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification

Initialize a new universal quantor, given a variable to bind and a formula to act upon.

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

A class representing second order variables in the monadic second order logic.

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

Initialize a new second order variable.

SecondOrderVariable(String) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderVariable

Initialize a new second order variable with the given name.

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

An abstract superclass for second order variables and predicates, both denotating sets of nodes.

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

Return the formula that says this set is a subset of that set.

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

A class for representing the atomic formula which says a variable is a subset of another variable

Subset(SetDenotator, SetDenotator) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Initialize a new subset formula, involving the variable which is a subset and the variable which is a superset.

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

Return the formula that says this set is a superset of that set.