Uses of Class com.meyling.principia.argument.AbstractDynamicArgumentList (PMII - Principia Mathematica II)

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

## 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 `Import`s.
`class` | `LocationList` List of locations where a module could be found.
`class` | `Module` Main data object of this project.
`class` | `ParagraphList` List of `Paragraph`s
`class` | `UsedbyList` List of known references to a module.

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.