U-Index (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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.