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

P

parse() - Method in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

Parse the formula.

parse() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

Parse the formula.

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

Parse the formula.

parse() - Method in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaParser

Parse the formula.

parseConjunction() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseContainment(String, String) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseDisjunction() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseEquality(String, String) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseFirstOrderExistentialQuantification() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseFirstOrderUniversalQuantification() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseImmediateDominance(String, String) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseImplication() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseNegation() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parsePrecedence(String, String) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parsePredicate(String, String) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseProperDominance(String, String) - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseSecondOrderExistentialQantification() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

parseSecondOrderUniversalQuantification() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

PRECEDENCE - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for precedence of two nodes.

PRECEDENCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

PRECEDENCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

precedence() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

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

A class representing the atomic formula which says one node precedes another.

Precedence(FirstOrderVariable, FirstOrderVariable) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Initialize a new precedence, taking two variables as arguments.

precedes(FirstOrderVariable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Return the formula that says this variable precedes that variable.

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

A class representing a predicate.

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

Initialize a new predicate, with a given label.

PreferenceKeys - Class in de.uni_tuebingen.sfb.lichtenstein.main

Contains the preferences and keys for MonaSearch.

PreferenceKeys() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

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

The name of the program.

PROPER_DOMINANCE - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for proper dominance of two nodes.

PROPER_DOMINANCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

PROPER_DOMINANCE - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

properDominance() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

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

A class representing the atomic formula which says one node properly dominates another.

ProperDominance(FirstOrderVariable, FirstOrderVariable) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Initialize a new proper dominance, taking two variables as arguments.

properlyDominates(FirstOrderVariable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Return the formula that says this variable immediately dominates that variable.