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

F

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

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

FirstOrderEquality(FirstOrderVariable, FirstOrderVariable) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Initialize a new first order equality, involving two first order variables.

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

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

FirstOrderExistentialQuantification(FirstOrderVariable, Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification

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

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

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

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

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

FirstOrderUniversalQuantification(FirstOrderVariable, Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification

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

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

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

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

Initialize a new first order variable.

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

Initialize a first order variable with the given name.

forAll(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Returns the universal quantification of the given formula over this variable.

forAll(FirstOrderVariable) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Return the universal quantification of this formula over the given variable.

forAll(SecondOrderVariable) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Return the universal quantification of this formula over the given variable.

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

Return the universal quantification of this formula over the given variable.

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

Return the universal quantification of this formula over the given variable.

forAll(FirstOrderVariable, Formula) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Formulas

Return the universal quantification of the given formula over the given variable.

forAll(SecondOrderVariable, Formula) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Formulas

Return the universal quantification of the given formula over the given variable.

forAll(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderVariable

Returns the universal quantification of the given formula over this variable.

Formula - Interface in de.uni_tuebingen.sfb.lichtenstein.formulas

A class for specifying a formula in monadic second order logic.

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

A class providing implementations of the formula interface where possible.

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

A class containing convenience methods to create formulas.

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

A class that represents a template for a formula, in which certain free variables still have to be filled in to get a real formula.

FormulaTemplate(Formula, Variable...) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Initialize a new formula template, based on a formula and a list of dummy variables that appear in the formula.

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

A general interface representing a visitor that visits formulas.

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