A B C D E F G H I L N O P Q S T U V

V

Variable - Class in de.uni_tuebingen.sfb.lichtenstein.formulas

A class representing variables and predicates in the monadic second order logic.

visit(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaVisitor

Visit a formula.

Visitable - Interface in de.uni_tuebingen.sfb.lichtenstein.formulas

An interface indicating a formula visitor can visit this class.