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

U

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

The UI builder for MonaSearch.

UIBuilder() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.UI.UIBuilder

Create and initialize the frame and its components.

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

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

A class representing a unary junctor, having one argument.

UnaryJunctor(Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Initialize a new unary junctor, taking a formula as argument.

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

The user preferences for MonaSearch, stored persistently.