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

R

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

Create a random variable name.

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

Create a random variable name.

resultHeightPrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The preference key for the result window height.

resultsDirPrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The preference key for the directory where the results are stored.

ResultView - Class in de.uni_tuebingen.sfb.lichtenstein.UI

A result view shows the results of a query in a separate window.

ResultView(List<Sentence>, Formula, Action) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.UI.ResultView

Initialize a new result view with the given results.

resultWidthPrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The preference key for the result window width.

resultXPrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The preference key for the result window x position.

resultYPrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The preference key for the result window y position.