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

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 `Paragraph`s
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` `Position`s.
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.

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

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.