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

N

NEGATION - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a Negation
NEXT - Static variable in class com.meyling.principia.logic.basic.PackageTest
seperates several arguments
NEXT - Static variable in class com.meyling.principia.module.PackageTest
seperates several arguments
NOT_ASSIGNED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_ARGUMENT_NUMBER - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_ARGUMENT_SEPARATOR - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_BEGIN_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_DIRECT_PERIODS - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NO_ELEMENTARY_EQUIVALENCE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
NO_EMPTY_STRING - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NO_END_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_FOLLOWING_TEXT_ALLOWED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NO_FORMULA_NUMBER - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
NO_LEADING_ZERO_ALLOWED - Static variable in interface com.meyling.principia.io.IoConstants
 
NO_LETTER_DIGIT_STRING_FOUND - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_LETTER_DIGIT_STRING_FOUND - Static variable in interface com.meyling.principia.io.IoConstants
 
NO_MODULE_ADDRESS - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NO_NEGATIVE_INTEGER - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_PATTERN_VARIABLE_ALLOWED - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
NO_PATTERN_VARIABLE_IN_AXIOM - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NO_PATTERN_VARIABLE_IN_PROPOSITION - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NO_PERIODS_WITHOUT_DIGIT - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NO_POSITIVE_INTEGER_FOUND - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_POSITIVE_INTEGER_FOUND - Static variable in interface com.meyling.principia.io.IoConstants
 
NO_QUOTED_STRING - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_QUOTED_STRING - Static variable in interface com.meyling.principia.io.IoConstants
 
NO_QUOTE_TERMINATION - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_QUOTE_TERMINATION - Static variable in interface com.meyling.principia.io.IoConstants
 
NO_RECURSIVE_MATCH - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NO_URL - Static variable in interface com.meyling.principia.module.ModuleConstants
 
NULLPOINTER_PARAMETER - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
NULLPOINTER_PARAMETER - Static variable in interface com.meyling.principia.io.IoConstants
 
NUMBER - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
Name - class com.meyling.principia.module.Name.
A reference label.
Name(Argument[]) - Constructor for class com.meyling.principia.module.Name
Constructs a module name.
Name(String) - Constructor for class com.meyling.principia.module.Name
Constructs a module name.
Negation - class com.meyling.principia.logic.basic.Negation.
Logical negation, logical "not".
Negation(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Negation
Constructs negation of first argument.
Negation(Formula) - Constructor for class com.meyling.principia.logic.basic.Negation
Constructs negation of formula.
newEnding(String, String) - Static method in class com.meyling.principia.module.ModuleAddress
Get module address with new ending.

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.