Hierarchy For Package com.meyling.principia.logic.basic

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.basic.AbstractFormula (implements com.meyling.principia.logic.basic.Formula)
        • class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
          • class com.meyling.principia.logic.basic.Conjunction
          • class com.meyling.principia.logic.basic.Disjunction
          • class com.meyling.principia.logic.basic.Equivalence
          • class com.meyling.principia.logic.basic.Implication
        • class com.meyling.principia.logic.basic.Negation (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
        • class com.meyling.principia.logic.basic.PredicateVariable (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
        • class com.meyling.principia.logic.basic.PropositionVariable (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
        • class com.meyling.principia.logic.basic.Quantifier (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
          • class com.meyling.principia.logic.basic.ExistentialQuantifier
          • class com.meyling.principia.logic.basic.UniversalQuantifier
      • class com.meyling.principia.logic.basic.RegularArgumentList (implements com.meyling.principia.argument.Argument)
      • class com.meyling.principia.logic.basic.SubjectVariable (implements com.meyling.principia.logic.basic.SubjectVariableMarker)
    • class com.meyling.principia.argument.PatternVariable (implements com.meyling.principia.argument.CounterMarker)
      • class com.meyling.principia.logic.basic.BasicPatternVariable (implements com.meyling.principia.argument.CounterMarker)
        • class com.meyling.principia.logic.basic.BasicFormulaPatternVariable (implements com.meyling.principia.logic.basic.Formula)
        • class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable (implements com.meyling.principia.logic.basic.SubjectVariableMarker)
      • class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable (implements com.meyling.principia.logic.basic.SubjectVariableMarker)
  • class junit.framework.Assert
    • class junit.framework.TestCase (implements junit.framework.Test)
      • class com.meyling.principia.logic.basic.TestConjunction
  • class com.meyling.principia.logic.basic.BasicCreator
  • class com.meyling.principia.logic.basic.PackageTest
  • class com.meyling.principia.argument.PatternVariables
    • class com.meyling.principia.logic.basic.BasicPatternVariables
  • class com.meyling.principia.logic.basic.PropositionVariables
  • class com.meyling.principia.logic.basic.SubjectVariables
  • class com.meyling.principia.io.TextFileReader
    • class com.meyling.principia.logic.basic.PackageTest.TestReader

Interface Hierarchy

• interface com.meyling.principia.argument.Argument
  • interface com.meyling.principia.logic.basic.Formula
  • interface com.meyling.principia.logic.basic.SubjectVariableMarker
• interface com.meyling.principia.argument.ArgumentConstants
  • interface com.meyling.principia.logic.basic.BasicConstants