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 is 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.