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

H

Header - class com.meyling.principia.module.Header.
header of a module.
Header(Argument[]) - Constructor for class com.meyling.principia.module.Header
Constructs a module header.
Headline - class com.meyling.principia.module.Headline.
A module headline.
Headline(Argument[]) - Constructor for class com.meyling.principia.module.Headline
Constructs a module headline.
HypotheticalSyllogism - class com.meyling.principia.logic.rule.HypotheticalSyllogism.
Implemention of (pure) Hypothetical Syllogism: A1 => A2 A2 => A3 --------- A1 => A3
HypotheticalSyllogism(Argument[]) - Constructor for class com.meyling.principia.logic.rule.HypotheticalSyllogism
Constructs a hypothetical syllogism rule.
hasFailures() - Method in class com.meyling.principia.module.ModuleProperties
Is this a failure state the module is in?
hashCode() - Method in class com.meyling.principia.argument.AbstractArgument
 
hashCode() - Method in interface com.meyling.principia.argument.Argument
Calculates the hashcode.
hashCode() - Method in class com.meyling.principia.module.ModuleAddress
 
hashCode() - Method in class com.meyling.principia.module.ModuleState
 

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.