A B C D E F G H I 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

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

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

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.

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.

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.

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

Undos the TextFileReader.readLine() method.