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
N
O
P
Q
S
T
U
V
A
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Conjunction
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Disjunction
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Dominance
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Equivalence
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
FirstOrderEquality
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
FirstOrderExistentialQuantification
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
FirstOrderUniversalQuantification
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
FormulaImpl
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
ImmediateDominance
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Implication
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Inclusion
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Negation
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Precedence
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
ProperDominance
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
SecondOrderEquality
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
SecondOrderExistentialQuantification
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
SecondOrderUniversalQuantification
Accept a formula visitor.
accept(FormulaVisitor)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Subset
Accept a formula visitor.
accept(FormulaVisitor)
- Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.
Visitable
Accept a formula visitor.
and(Formula)
- Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.
Formula
Return the conjunction of this formula with that formula.
and(Formula)
- Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
FormulaImpl
Return the conjunction of this formula with that formula.
and(Formula...)
- Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.
Formulas
Return the conjunction of the given formula with that formula.
AtomicFormula
- Class in
de.uni_tuebingen.sfb.lichtenstein.formulas
A class representing an atomic formula.
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
N
O
P
Q
S
T
U
V