Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.argument.AbstractDynamicArgumentList

Packages that use AbstractDynamicArgumentList
com.meyling.principia.argument   
com.meyling.principia.logic.paragraph   
com.meyling.principia.module   
 

Uses of AbstractDynamicArgumentList in com.meyling.principia.argument
 

Subclasses of AbstractDynamicArgumentList in com.meyling.principia.argument
 class VariableList
          Dynamic list of arguments.
 

Uses of AbstractDynamicArgumentList in com.meyling.principia.logic.paragraph
 

Subclasses of AbstractDynamicArgumentList in com.meyling.principia.logic.paragraph
 class Paragraph
          A paragraph contains an axiom, an abbreviation or a proposition of a mathematical theory.
 class ProofLineList
          List of proof lines.
 class Proposition
          Logical sentence.
 class RuleDeclaration
          Declares a logical rule.
 

Uses of AbstractDynamicArgumentList in com.meyling.principia.module
 

Subclasses of AbstractDynamicArgumentList in com.meyling.principia.module
 class AuthorList
          List of module authors .
 class ImportList
          List of Imports.
 class LocationList
          List of locations where a module could be found.
 class Module
          Main data object of this project.
 class ParagraphList
          List of Paragraphs
 class UsedbyList
          List of known references to a module.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.