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

U

UNIVERSAL_QUANTIFIER - Static variable in class com.meyling.principia.logic.basic.BasicCreator

string for a UniversalQuantifier

UniversalQuantifier - class com.meyling.principia.logic.basic.UniversalQuantifier.

Universal qualifier, logical "for all".

UniversalQuantifier(Argument[]) - Constructor for class com.meyling.principia.logic.basic.UniversalQuantifier

Constructs a logical universial quantifier.

UNKNOWN_ARGUMENT_CHAR - Static variable in interface com.meyling.principia.argument.ArgumentConstants

UNKNOWN_ARGUMENT_CLASS - Static variable in interface com.meyling.principia.argument.ArgumentConstants

UNKNOWN_CLASS - Static variable in interface com.meyling.principia.argument.ArgumentConstants

UNKNOWN_OPERATOR - Static variable in interface com.meyling.principia.argument.ArgumentConstants

unReadLine() - Method in class com.meyling.principia.io.TextFileReader

Undos the TextFileReader.readLine() method.

url - Variable in class com.meyling.principia.module.ModuleAddress

URL, maybe null if it is a local file

URL_WITH_EMPTY_FILE - Static variable in interface com.meyling.principia.module.ModuleConstants

UseAbbreviation - class com.meyling.principia.logic.rule.UseAbbreviation.

Implemention of using an abbreviation for a formula: A1 --------- A2

UseAbbreviation(Argument[]) - Constructor for class com.meyling.principia.logic.rule.UseAbbreviation

Constructs an abbreviation rule.

usedby - Variable in class com.meyling.principia.module.Module

usedby list of this module

UsedbyList - class com.meyling.principia.module.UsedbyList.

List of known references to a module.

UsedbyList(Argument[]) - Constructor for class com.meyling.principia.module.UsedbyList

Constructs a list of locations.

Utility - class com.meyling.principia.io.Utility.

A collection of usefull static methods.

Utility() - Constructor for class com.meyling.principia.io.Utility

Constructor, should never be called.