Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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