All Classes
AtomicFormula
BinaryJunctor
ComposedFormula
Conjunction
Disjunction
Dominance
Equivalence
FirstOrderEquality
FirstOrderExistentialQuantification
FirstOrderQuantor
FirstOrderUniversalQuantification
FirstOrderVariable
Formula
FormulaImpl
Formulas
FormulaTemplate
FormulaVisitor
ImmediateDominance
Implication
Inclusion
NaryJunctor
Negation
Precedence
Predicate
ProperDominance
Quantification
SecondOrderEquality
SecondOrderExistentialQuantification
SecondOrderQuantor
SecondOrderUniversalQuantification
SecondOrderVariable
SetDenotator
Subset
UnaryJunctor
Variable
Visitable