A B C D E F G H I L M N O P Q R S T U V W X Y

V

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

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

Variable(String) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.Variable

Initialize a new variable with the given name.

VariableIndexOutOfBoundsException - Exception in de.uni_tuebingen.sfb.lichtenstein.exceptions

An exception thrown by formulas to indicate that an index is either negative or greater than the number of variables.

VariableIndexOutOfBoundsException(Formula, int) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.VariableIndexOutOfBoundsException

Constructs a new VariableIndexOutOfBoundsException class with an argument indicating the illegal index.

VariableReplacementException - Exception in de.uni_tuebingen.sfb.lichtenstein.exceptions

A class for indicating a variable could not be replaced while visiting a formula.

VariableReplacementException(Variable, Variable) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.VariableReplacementException

Initialize a new VariableReplacementException, indicating one variable could not be replaced by another.

verbose - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

Switch wether verbose output is wanted on the command line.

VERSION - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

The version of the program.

visit(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a formula.

visit(Negation) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a negation.

visit(Conjunction) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a conjunction.

visit(Disjunction) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a disjunction.

visit(Implication) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit an implication.

visit(Equivalence) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit an equivalence atomic formula.

visit(FirstOrderExistentialQuantification) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit an existential quantification.

visit(FirstOrderUniversalQuantification) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a universal quantification.

visit(SecondOrderExistentialQuantification) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit an existential quantification.

visit(SecondOrderUniversalQuantification) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a universal quantification.

visit(FirstOrderEquality) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a first order equality atomic formula.

visit(SecondOrderEquality) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a second order equality atomic formula.

visit(Inclusion) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit an inclusion.

visit(Subset) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a subset atomic formula.

visit(Dominance) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a dominance atomic formula.

visit(ImmediateDominance) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit an immediate dominance atomic formula.

visit(ProperDominance) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a proper dominance atomic formula.

visit(Precedence) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaBuilder

Visit a precedence atomic formula.

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

Visit a formula.

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

Visit a negation.

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

Visit a conjunction.

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

Visit a disjunction.

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

Visit an implication.

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

Visit an equivalence atomic formula.

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

Visit an existential quantification.

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

Visit a universal quantification.

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

Visit an existential quantification.

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

Visit a universal quantification.

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

Visit a first order equality atomic formula.

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

Visit a second order equality atomic formula.

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

Visit an inclusion.

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

Visit a subset atomic formula.

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

Visit a dominance atomic formula.

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

Visit an immediate dominance atomic formula.

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

Visit a proper dominance atomic formula.

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

Visit a precedence atomic formula.

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

An interface indicating a formula visitor can visit this class.

VisitorException - Exception in de.uni_tuebingen.sfb.lichtenstein.exceptions

A class for indicating an error occurred while a visitor was visiting a formula.

VisitorException() - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException

Initialize a new visitor exception.

VisitorException(String) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException

Initialize a new VisitorException, with given error message.