Hilbert II - JAVA-Packages - Principia Mathematica II
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.

Hilbert II - JAVA-Packages - Principia Mathematica II
A B C D E F G H I L M N O P Q R S T U V W
©left GNU General Public Licence
All Rights Reserved.