Hilbert II - JAVA-Packages - Principia Mathematica II
A B C D E F G H I L M N O P Q R S T U V W

P

PARAGRAPH_ABBREVIATION - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for an Abbreviation
PARAGRAPH_AXIOM - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for an Axiom
PARAGRAPH_LINK_LABEL - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for a LinkLabel
PARAGRAPH_PARAGRAPH - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for a Paragraph
PARAGRAPH_PROOF_LINE - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for a ProofLine
PARAGRAPH_PROOF_LINE_LIST - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for a ProofLineList
PARAGRAPH_PROPOSITION - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for a Proposition
PARAGRAPH_RULE_DECLARATION - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
 
PARAGRAPH_SENTENCE - Static variable in class com.meyling.principia.logic.paragraph.ParagraphCreator
string for a Sentence
PART_MUST_START_WITH_LETTER - Static variable in interface com.meyling.principia.module.ModuleConstants
 
PATTERN_VARIABLE - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
PATTERN_VARIABLES_MUST_STAND_FOR_SUBJECT_VARIABLES - Static variable in interface com.meyling.principia.module.ModuleConstants
 
PATTERN_VARIABLE_NOT_FOUND - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
POSITIVE_INTEGER_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
 
POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.module.ModuleConstants
 
PRECONDITIONS_NOT_FULLFILLED - Static variable in interface com.meyling.principia.logic.basic.BasicConstants
 
PRECONDITIONS_NOT_FULLFILLED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
PREDICATE_VARIABLE - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a PredicateVariable
PROOF_LINES_OUT_OF_RANGE - Static variable in interface com.meyling.principia.module.ModuleConstants
 
PROOF_LINE_NO_IMPLICATION - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
PROPOSITION_VARIABLE - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a PropositionVariable
PackageTest - class com.meyling.principia.logic.basic.PackageTest.
General package test.
PackageTest() - Constructor for class com.meyling.principia.logic.basic.PackageTest
 
PackageTest - class com.meyling.principia.module.PackageTest.
General package test.
PackageTest() - Constructor for class com.meyling.principia.module.PackageTest
 
Paragraph - class com.meyling.principia.logic.paragraph.Paragraph.
A paragraph contains an axiom, an abbreviation or a proposition of a mathematical theory.
Paragraph(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Paragraph
Constructs a paragraph.
ParagraphCheck - interface com.meyling.principia.logic.paragraph.ParagraphCheck.
Every main Paragraph entry must implement this interface.
ParagraphConstants - interface com.meyling.principia.logic.paragraph.ParagraphConstants.
This interface provides constants of this package.
ParagraphCreator - class com.meyling.principia.logic.paragraph.ParagraphCreator.
This class provides static methods for reading and writing an Argument.
ParagraphCreator() - Constructor for class com.meyling.principia.logic.paragraph.ParagraphCreator
 
ParagraphList - class com.meyling.principia.module.ParagraphList.
List of Paragraphs
ParagraphList(Argument[]) - Constructor for class com.meyling.principia.module.ParagraphList
Constructs a list of paragraphs.
ParsingException - exception com.meyling.principia.io.ParsingException.
This is a construction (and checking) exception for arguments.
ParsingException(int, String, int, int, int, String, String) - Constructor for class com.meyling.principia.io.ParsingException
Constructs an argument exception.
ParsingTable - class com.meyling.principia.io.ParsingTable.
Table for Argument Positions.
ParsingTable() - Constructor for class com.meyling.principia.io.ParsingTable
Constructs a new parsing table.
Particularization - class com.meyling.principia.logic.rule.Particularization.
Implemention of making a conclusion special.
Particularization(Argument[]) - Constructor for class com.meyling.principia.logic.rule.Particularization
Constructs a particularization rule.
PatternVariable - class com.meyling.principia.argument.PatternVariable.
Pattern variable, for matching purposes.
PatternVariable(Argument[]) - Constructor for class com.meyling.principia.argument.PatternVariable
Constructs a pattern variable.
PatternVariables - class com.meyling.principia.argument.PatternVariables.
Set of pattern variables.
PatternVariables() - Constructor for class com.meyling.principia.argument.PatternVariables
Construct an empty set of pattern variables.
PatternVariables(PatternVariables) - Constructor for class com.meyling.principia.argument.PatternVariables
Copy constructor, constructs a new object with the data of another object.
PmiiFacade - class com.meyling.principia.PmiiFacade.
Gives outside access to the application.
Position - class com.meyling.principia.io.Position.
Class for remembering parsing positions.
Position(int, int) - Constructor for class com.meyling.principia.io.Position
Constructs a marker for begin and end position.
PredicateVariable - class com.meyling.principia.logic.basic.PredicateVariable.
Predicate variable with argument list.
PredicateVariable(Argument[]) - Constructor for class com.meyling.principia.logic.basic.PredicateVariable
Constructs a predicate variable with an argument list.
ProofLine - class com.meyling.principia.logic.paragraph.ProofLine.
A proof line of a mathematical proof.
ProofLine(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.ProofLine
Constructs a proof line made of a formula and a rule.
ProofLineList - class com.meyling.principia.logic.paragraph.ProofLineList.
List of proof lines.
ProofLineList(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.ProofLineList
Constructs a list of proof lines.
Proposition - class com.meyling.principia.logic.paragraph.Proposition.
Logical sentence.
Proposition(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.Proposition
Constructs a mathematical proposition with its proof.
PropositionVariable - class com.meyling.principia.logic.basic.PropositionVariable.
Represents an arbitrary logical proposition.
PropositionVariable(Argument[]) - Constructor for class com.meyling.principia.logic.basic.PropositionVariable
Constructs a proposition variable.
PropositionVariable(int) - Constructor for class com.meyling.principia.logic.basic.PropositionVariable
Constructs certain proposition variable.
PropositionVariables - class com.meyling.principia.logic.basic.PropositionVariables.
Set of proposition variables.
PropositionVariables() - Constructor for class com.meyling.principia.logic.basic.PropositionVariables
Construct an empty set of proposition variables.
PropositionVariables(PropositionVariables) - Constructor for class com.meyling.principia.logic.basic.PropositionVariables
Construct a new set of proposition variables with the same entires as the given one.
PropositionVariables(PropositionVariable[]) - Constructor for class com.meyling.principia.logic.basic.PropositionVariables
Construct a new set of proposition variables with some initial entries.
printAllSystemProperties() - Static method in class com.meyling.principia.io.Utility
 
put(Argument, Position) - Method in class com.meyling.principia.io.ParsingTable
Put argument position.

Hilbert II - JAVA-Packages - Principia Mathematica II
A B C D E F G H I L M N O P Q R S T U V W
©left GNU General Public Licence
All Rights Reserved.