com.meyling.principia.logic.paragraph Class Hierarchy (PMII - Principia Mathematica II)

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

## Hierarchy For Package com.meyling.principia.logic.paragraph

Package Hierarchies:
  All Packages

## Class Hierarchy

- class java.lang.Object
  - class com.meyling.principia.argument.AbstractArgument (implements com.meyling.principia.argument.Argument)
    - class com.meyling.principia.argument.AbstractArgumentList (implements com.meyling.principia.argument.Argument)
      - class com.meyling.principia.logic.paragraph.Abbreviation (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)
      - class com.meyling.principia.logic.paragraph.Axiom (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)
      - class com.meyling.principia.logic.paragraph.LinkLabel (implements com.meyling.principia.argument.Argument, com.meyling.principia.module.Labeled, com.meyling.principia.module.Textable)
      - class com.meyling.principia.logic.paragraph.ProofLine (implements com.meyling.principia.argument.Argument)
      - class com.meyling.principia.logic.paragraph.Sentence (implements com.meyling.principia.argument.Argument)
    - class com.meyling.principia.argument.AbstractDynamicArgumentList (implements com.meyling.principia.argument.Argument)
      - class com.meyling.principia.logic.paragraph.Paragraph (implements com.meyling.principia.argument.Argument)
      - class com.meyling.principia.logic.paragraph.ProofLineList (implements com.meyling.principia.argument.Argument)
      - class com.meyling.principia.logic.paragraph.Proposition (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)
      - class com.meyling.principia.logic.paragraph.RuleDeclaration (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.paragraph.ParagraphCheck)
  - class com.meyling.principia.logic.paragraph.ParagraphCreator

## Interface Hierarchy

- interface com.meyling.principia.argument.Argument
  - interface com.meyling.principia.logic.paragraph.ParagraphCheck
- interface com.meyling.principia.argument.ArgumentConstants
  - interface com.meyling.principia.logic.basic.BasicConstants
    - interface com.meyling.principia.module.ModuleConstants
      - interface com.meyling.principia.logic.paragraph.ParagraphConstants

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

©left GNU General Public Licence All Rights Reserved.