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

## 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

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.