A B C D E F G H I L M N O P Q R S T U V W X Y

S

SECOND_ORDER_EXISTENTIAL - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for existential quantification over a set of a formula.

SECOND_ORDER_EXISTENTIAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

SECOND_ORDER_EXISTENTIAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

SECOND_ORDER_UNIVERSAL - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for universal quantification over a set of a formula.

SECOND_ORDER_UNIVERSAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

SECOND_ORDER_UNIVERSAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

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.

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

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

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() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

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

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

SENTENCE - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for the sentence of the tree, as a regular expression.

SENTENCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

SENTENCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

Sentence - Class in de.uni_tuebingen.sfb.lichtenstein.treebanks

A sentence in a treebank.

Sentence(String, String) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.treebanks.Sentence

Create a sentence with the given sentence as content and the given id.

setBaseFileDir(File) - Static method in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

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

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

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

Initialize a new set denotator with the given name.

setLeft(mgTreeNode) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

setLeftDaughter(mgTreeNode) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

setLogFile(String) - Static method in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

Set the log file.

setRight(mgTreeNode) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

setRightDaughter(mgTreeNode) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode

show() - Method in class de.uni_tuebingen.sfb.lichtenstein.UI.UIBuilder

Show the UI.

stripExtension(String) - Static method in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

Get the base name of the tree bank, removing file extensions.

SubformulaIndexOutOfBoundsException - Exception in de.uni_tuebingen.sfb.lichtenstein.exceptions

An exception thrown by formulas to indicate that an index is either negative or greater than the number of subformulas.

SubformulaIndexOutOfBoundsException(int) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.SubformulaIndexOutOfBoundsException

Constructs a new SubformulaIndexOutOfBoundsException class with an argument indicating the illegal index.

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.

swigCMemOwn - Variable in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgGta

swigCMemOwn - Variable in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode