|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FormulaVisitor | |
---|---|
de.uni_tuebingen.sfb.lichtenstein.binarytrees | |
de.uni_tuebingen.sfb.lichtenstein.formulas |
Uses of FormulaVisitor in de.uni_tuebingen.sfb.lichtenstein.binarytrees |
---|
Subclasses of FormulaVisitor in de.uni_tuebingen.sfb.lichtenstein.binarytrees | |
---|---|
class |
MonaFormulaBuilder
A class which visits a Formula and converts it to a Mona formula. |
Uses of FormulaVisitor in de.uni_tuebingen.sfb.lichtenstein.formulas |
---|
Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type FormulaVisitor | |
---|---|
void |
Negation.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
ImmediateDominance.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Equivalence.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Inclusion.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Dominance.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Implication.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Disjunction.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
FirstOrderEquality.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
FirstOrderExistentialQuantification.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
FirstOrderUniversalQuantification.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Subset.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
ProperDominance.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Precedence.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Visitable.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
SecondOrderEquality.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
Conjunction.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
ImmediatePrecedence.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
SecondOrderUniversalQuantification.accept(FormulaVisitor visitor)
Accept a formula visitor. |
void |
SecondOrderExistentialQuantification.accept(FormulaVisitor visitor)
Accept a formula visitor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |