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.