< A B C D E F G H I L M N O P Q R S T U V W

H

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

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.