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

F

finalize() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgGta
The finalize method just calls the delete method to take care of C memory management.
finalize() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.mgTreeNode
The finalize method just calls the delete method to take care of C memory management.
FIRST_ORDER_EXISTENTIAL - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser
The symbol for existential quantification over a node of a formula.
FIRST_ORDER_EXISTENTIAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
 
FIRST_ORDER_EXISTENTIAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FIRST_ORDER_UNIVERSAL - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser
The symbol for universal quantification over a node of a formula.
FIRST_ORDER_UNIVERSAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
 
FIRST_ORDER_UNIVERSAL - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
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.
FirstOrderQuantor(FirstOrderVariable, Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor
Initialize a new quantor, given a variable to bind and a formula to act upon.
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() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_atomic_in_body107 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_binary_in_body125 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_body_in_formula75 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_CATEGORY_in_labelFormula182 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_CLOSE_in_formula77 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_CONJUNCTION_in_n_ary682 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_containment_in_atomic316 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_CONTAINMENT_in_containment568 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_DISJUNCTION_in_n_ary695 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_dominance_in_atomic289 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_DOMINANCE_in_dominance469 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_EOF_in_formulaList56 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_equality_in_atomic262 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_EQUALITY_in_equality337 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_EQUIVALENCE_in_binary649 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_FIRST_ORDER_EXISTENTIAL_in_quantor750 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_FIRST_ORDER_UNIVERSAL_in_quantor767 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_containment574 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_dominance475 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_dominance481 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_equality350 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_equality356 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_immediateDominance442 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_immediateDominance448 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_immediatePrecedence508 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_immediatePrecedence514 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_labelFormula169 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_labelFormula186 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_labelFormula203 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_labelFormula220 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_labelFormula237 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_precedence541 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_precedence547 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_properDominance409 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_properDominance415 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_quantor754 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_firstOrderVariable_in_quantor771 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_binary634 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_binary640 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_binary655 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_binary661 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_formulaList48 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_n_aryArguments728 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_quantor758 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_quantor775 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_quantor792 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_quantor809 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_formula_in_unary607 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_FUNCTION_in_labelFormula165 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_IDENTIFIER_in_firstOrderVariable829 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_IDENTIFIER_in_label867 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_IDENTIFIER_in_secondOrderVariable848 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_IMMEDIATE_DOMINANCE_in_immediateDominance436 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_IMMEDIATE_PRECEDENCE_in_immediatePrecedence502 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_immediateDominance_in_atomic280 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_immediatePrecedence_in_atomic298 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_IMPLICATION_in_binary628 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_label_in_labelFormula173 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_label_in_labelFormula190 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_label_in_labelFormula207 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_label_in_labelFormula224 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_label_in_labelFormula241 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_labelFormula_in_body98 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_LEMMA_in_labelFormula216 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_MORPHOLOGY_in_labelFormula233 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_n_ary_in_body134 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_n_aryArguments_in_n_ary686 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_n_aryArguments_in_n_ary699 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_NEGATION_in_unary601 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_OPEN_in_formula73 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_precedence_in_atomic307 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_PRECEDENCE_in_precedence535 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_PROPER_DOMINANCE_in_properDominance403 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_properDominance_in_atomic271 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_quantor_in_body143 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_SECOND_ORDER_EXISTENTIAL_in_quantor784 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_SECOND_ORDER_UNIVERSAL_in_quantor801 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_secondOrderVariable_in_containment580 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_secondOrderVariable_in_equality373 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_secondOrderVariable_in_equality379 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_secondOrderVariable_in_quantor788 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_secondOrderVariable_in_quantor805 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_unary_in_body116 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_binary630 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_binary636 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_binary651 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_binary657 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_containment570 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_containment576 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_dominance471 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_dominance477 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_equality339 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_equality352 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_equality375 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_formulaList43 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_formulaList50 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_immediateDominance438 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_immediateDominance444 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_immediatePrecedence504 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_immediatePrecedence510 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula167 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula171 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula184 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula188 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula201 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula205 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula218 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula222 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula235 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_labelFormula239 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_n_aryArguments724 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_precedence537 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_precedence543 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_properDominance405 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_properDominance411 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor752 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor756 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor769 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor773 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor786 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor790 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor803 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_quantor807 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WHITESPACE_in_unary603 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FOLLOW_WORD_in_labelFormula199 - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
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.
FormatException - Exception in de.uni_tuebingen.sfb.lichtenstein.exceptions
An exception indicating the format of a NEGRA corpus could not be determined.
FormatException(String) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.FormatException
Create a new FormatException with the given message.
Formula - Interface in de.uni_tuebingen.sfb.lichtenstein.formulas
A class for specifying a formula in monadic second order logic.
formula() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FormulaImpl - Class in de.uni_tuebingen.sfb.lichtenstein.formulas
A class providing implementations of the formula interface where possible.
FormulaImpl() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl
Initialize a new Formula.
formulaList() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FormulaParser - Interface in de.uni_tuebingen.sfb.lichtenstein.binarytrees
A class to parse a formula given by the user.
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.
FormulaTransferHandler - Class in de.uni_tuebingen.sfb.lichtenstein.UI
A transfer handler for formulas.
FormulaTransferHandler() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.UI.FormulaTransferHandler
Initialize the formula transfer handler.
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
 
fsqLexer - Class in de.uni_tuebingen.sfb.lichtenstein.formulas.parsing
 
fsqLexer() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
 
fsqLexer(CharStream) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
 
fsqLexer(CharStream, RecognizerSharedState) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
 
fsqParser - Class in de.uni_tuebingen.sfb.lichtenstein.formulas.parsing
 
fsqParser(TokenStream) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
fsqParser(TokenStream, RecognizerSharedState) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FUNCTION - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser
The symbol for the function of a node.
FUNCTION - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer
 
FUNCTION - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser
 
FunctionArgumentsMismatchException - Exception in de.uni_tuebingen.sfb.lichtenstein.exceptions
An exception class for signalling the mismatch of the arguments to a function.
FunctionArgumentsMismatchException(Variable[], Variable[]) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.FunctionArgumentsMismatchException
Initialize a new FunctionArgumentsMismatchException with two arrays of variables, indicating the arrays do not have the same length.
FunctionArgumentsMismatchException(Variable, Variable) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.FunctionArgumentsMismatchException
Initialize a new FunctionArgumentsMismatchException with two variables, indicating the variables are not of the same type.
FunctionArgumentsMismatchException(Formula, Variable) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.FunctionArgumentsMismatchException
Initialize a new FunctionArgumentsMismatchException with a formula and a variable, indicating the formala does not contain the variable.

A B C D E F G H I L M N O P Q R S T U V W X Y
© Copyright 2008 Hendrik Maryns   Creative Commons License