C-Index (PMII - Principia Mathematica II)

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

## C

CODE_CONSTRUCTOR_ARGUMENT_CHECK_FAILED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_CONSTRUCTOR_WRONG_ARGUMENT_NUMBER - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_CONSTRUCTOR_WRONG_ARGUMENT_TYPE - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_METHOD_ARGUMENT_CHECK_FAILED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_NO_ARGUMENT_SEPARATOR - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_NO_BEGIN_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_NO_END_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_NO_FURTHER_ARGUMENTS_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_UNEXPECTED_ARGUMENT - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_UNKNOWN_ARGUMENT_CHAR - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_UNKNOWN_OPERATOR - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CODE_PARSER_WRONG_ATOM_FORMAT - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CONJUNCTION - Static variable in class com.meyling.principia.logic.basic.BasicCreator
  string for a `Conjunction`
CONJUNCTION_RULE_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
CONVENTION - Static variable in interface com.meyling.principia.module.ModuleConstants
COULD_NOT_BE_ADDED - Static variable in interface com.meyling.principia.module.ModuleConstants
COULD_NOT_BE_EMPTY - Static variable in interface com.meyling.principia.argument.ArgumentConstants
COULD_NOT_CREATE - Static variable in interface com.meyling.principia.argument.ArgumentConstants
COUNTER - Static variable in interface com.meyling.principia.argument.ArgumentConstants
COUNTER_OR_PATTERN - Static variable in interface com.meyling.principia.argument.ArgumentConstants
CheckModule - class com.meyling.principia.CheckModule.
  This class checks Principia Mathematica II qedeq modules for errors.
CheckModule() - Constructor for class com.meyling.principia.CheckModule
Conjunction - class com.meyling.principia.logic.basic.Conjunction.
  Conjunction of formulas.
Conjunction(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Conjunction
  Constructs a logical conjunction.
Conjunction(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Conjunction
  Constructs a logical conjunction.
ConjunctionRule - class com.meyling.principia.logic.rule.ConjunctionRule.
  Implemention of conjunction rule: `A1` `A2` `---------` `A1 & A2`
ConjunctionRule(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ConjunctionRule
  Constructs a conjunction rule.
Counter - class com.meyling.principia.argument.Counter.
  An object of this class represents a non negative integer.
Counter(int) - Constructor for class com.meyling.principia.argument.Counter
  Constructs a `Number`.
CounterMarker - interface com.meyling.principia.argument.CounterMarker.
  An object of this class represents something that should count as a number.
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.AddAxiom
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.AddSentence
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ApplyAxiom
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ApplySentence
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ConjunctionRule
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.Generalization
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAddition
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ModusPonens
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.Particularization
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReverseImplication
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAddition
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
changeProofLines(int[]) - Method in interface com.meyling.principia.logic.rule.Rule
  Get proof line numbers that are used to derive the new formula.
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.SubstLine
changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.UseAbbreviation
check(Module, String) - Method in class com.meyling.principia.logic.paragraph.Abbreviation
  Adds abbreviation to module.
check(Module, String) - Method in class com.meyling.principia.logic.paragraph.Axiom
  Tries to add this axiom.
check(Module) - Method in class com.meyling.principia.logic.paragraph.Paragraph
  Check if this paragraph could be added.
check(Module, String) - Method in interface com.meyling.principia.logic.paragraph.ParagraphCheck
  Check if a paragraph could be added to a module.
check(Module, String) - Method in class com.meyling.principia.logic.paragraph.Proposition
  Check if proof is correct.
check(Module, String) - Method in class com.meyling.principia.logic.paragraph.RuleDeclaration
  Check if declaration is correct.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.AddAxiom
  Check if proof could be extended with `formula`.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.AddSentence
  Check if proof could be extended with formula.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ApplyAxiom
  Check if proof could be extended with `formula`.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ApplySentence
  Check if proof could be extended with `formula`.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ConjunctionRule
  Check if proof could be extended with formula because of conjunction rule.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
  Check if proof could be extended with formula.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.Generalization
  Check if proof could be extended with formula because of modus ponens.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
  Check if proof could be extended with formula because of hypothetical syllogism.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAddition
  Check if proof could be extended with formula because of left addition.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
  Check if proof could be extended with formula because of left addition of a conjunction.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
  Check if proof could be extended with formula because of right addition of a implication.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
  Check if proof could be extended with formula because of right addition of a implication.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ModusPonens
  Check if proof could be extended with formula because of modus ponens.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.Particularization
  Check if proof could be extended with a formula because of modus ponens.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
  Check if proof could be extended with formula by replacing a bound subject variable of a proof line by another subject variable at a certain occurance.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
  Check if proof could be extended with formula by replacing a free subject variable of a proof line by another subject variable.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
  Check if proof could be extended with formula if replacing the predicate variable by the formula of the constructor.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
  Check if proof could be extended with formula if the proposition variable is replaced by the formula of the constructor.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
  Check if proof could be extended with formula.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReverseImplication
  Check if proof could be extended with formula because of reversing an implication.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAddition
  Check if proof could be extended with formula because of right addition.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
  Check if proof could be extended with formula because of right addition of a conjunction.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
  Check if proof could be extended with formula because of right addition of a implication.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
  Check if proof could be extended with formula because of right addition of a implication.
check(Module, ProofLineList, int, Formula) - Method in interface com.meyling.principia.logic.rule.Rule
  Check if proof could be extended with formula (using the arguments of rule).
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.SubstLine
  Check if proof could be extended with `formula`.
check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.UseAbbreviation
  Check if proof could be extended with formula.
check() - Method in class com.meyling.principia.module.Module
  Verifies this module.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.AddAxiom
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.AddSentence
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ApplyAxiom
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ApplySentence
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ConjunctionRule
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ElementaryEquivalence
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.Generalization
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAddition
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAdditionImplication
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ModusPonens
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.Particularization
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReverseAbbreviation
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReverseImplication
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAddition
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAdditionConjunction
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAdditionImplication
  Check if this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.SubstLine
  Check this rule could be declared.
checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.UseAbbreviation
  Check this rule could be declared.
checkLabel(String) - Method in class com.meyling.principia.module.Module
  Test if label is already known.
checkModule(String) - Static method in class com.meyling.principia.CheckModule
  Check a module.
clearLocalBuffer() - Method in class com.meyling.principia.module.ModuleContext
close() - Method in class com.meyling.principia.io.TextFileReader
  Closes input.
com.meyling.principia - package com.meyling.principia
com.meyling.principia.argument - package com.meyling.principia.argument
com.meyling.principia.html - package com.meyling.principia.html
com.meyling.principia.io - package com.meyling.principia.io
com.meyling.principia.latex - package com.meyling.principia.latex
com.meyling.principia.logic.basic - package com.meyling.principia.logic.basic
com.meyling.principia.logic.paragraph - package com.meyling.principia.logic.paragraph
com.meyling.principia.logic.rule - package com.meyling.principia.logic.rule
com.meyling.principia.module - package com.meyling.principia.module
compareTo(Object) - Method in class com.meyling.principia.argument.PatternVariable
compress() - Method in class com.meyling.principia.logic.paragraph.Proposition
  Remove all double and unused proof lines.
compress(String) - Method in class com.meyling.principia.module.ModuleContext
  Remove double and unused lines of all propositions of a module and save modified back in local generated directory.
contains(PatternVariable) - Method in class com.meyling.principia.argument.PatternVariables
  Is `variable` in the set?
contains(PatternVariables) - Method in class com.meyling.principia.argument.PatternVariables
  Are these `PatternVariable`s in the set?
contains(PropositionVariable) - Method in class com.meyling.principia.logic.basic.PropositionVariables
  Check if a certain proposition variable is already in the set.
contains(PropositionVariables) - Method in class com.meyling.principia.logic.basic.PropositionVariables
  Does this object contain another set of proposition variables?
contains(SubjectVariableMarker) - Method in class com.meyling.principia.logic.basic.SubjectVariables
  Check if a certain subject variable is already in the set.
contains(SubjectVariables) - Method in class com.meyling.principia.logic.basic.SubjectVariables
  Does this object contain another set of subject variables and pattern variables?
containsPatternVariables() - Method in class com.meyling.principia.argument.AbstractArgument
containsPatternVariables() - Method in interface com.meyling.principia.argument.Argument
  Does this argument contain any PatternVariable?
containsPatternVariables() - Method in class com.meyling.principia.argument.PatternVariable
convert(String) - Static method in class com.meyling.principia.html.Latex2Html
  Takes the given LaTeX text and convert it into html.
convert(String) - Static method in class com.meyling.principia.html.Latex2OldHtml
  Takes the given LaTeX text and convert it into html.
convert(String) - Static method in class com.meyling.principia.latex.Qedeq2Latex
  Takes the given file names (without ".tex") and converts them into html.
copy() - Method in class com.meyling.principia.argument.AbstractArgumentAtom
copy() - Method in class com.meyling.principia.argument.AbstractArgumentList
copy() - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
copy() - Method in interface com.meyling.principia.argument.Argument
  Returns an identical object (maybe "this").
copy() - Method in class com.meyling.principia.argument.Counter
copy() - Method in class com.meyling.principia.argument.PatternVariable
copy() - Method in class com.meyling.principia.argument.Text
create(Argument[]) - Method in class com.meyling.principia.argument.AbstractArgument
create(Argument[]) - Method in class com.meyling.principia.argument.AbstractArgumentAtom
create(Argument[]) - Method in class com.meyling.principia.argument.AbstractArgumentList
create(Argument[]) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
create(Argument[]) - Method in interface com.meyling.principia.argument.Argument
  Create a new Argument with given arguments.
create(Argument[]) - Method in class com.meyling.principia.argument.PatternVariable
create(Argument[]) - Method in class com.meyling.principia.argument.VariableList
create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicPatternVariable
create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
create(Argument[]) - Method in class com.meyling.principia.logic.basic.Conjunction
create(Argument[]) - Method in class com.meyling.principia.logic.basic.Disjunction
create(Argument[]) - Method in class com.meyling.principia.logic.basic.Equivalence
create(Argument[]) - Method in class com.meyling.principia.logic.basic.ExistentialQuantifier
create(Argument[]) - Method in class com.meyling.principia.logic.basic.Implication
create(Argument[]) - Method in class com.meyling.principia.logic.basic.Negation
create(Argument[]) - Method in class com.meyling.principia.logic.basic.PredicateVariable
create(Argument[]) - Method in class com.meyling.principia.logic.basic.PropositionVariable
create(Argument[]) - Method in class com.meyling.principia.logic.basic.RegularArgumentList
create(Argument[]) - Method in class com.meyling.principia.logic.basic.SubjectVariable
create(Argument[]) - Method in class com.meyling.principia.logic.basic.UniversalQuantifier
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Abbreviation
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Axiom
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.LinkLabel
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Paragraph
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.ProofLine
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.ProofLineList
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Proposition
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.RuleDeclaration
create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Sentence
create(Argument[]) - Method in class com.meyling.principia.logic.rule.AddAxiom
create(Argument[]) - Method in class com.meyling.principia.logic.rule.AddSentence
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ApplyAxiom
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ApplySentence
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ConjunctionRule
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
create(Argument[]) - Method in class com.meyling.principia.logic.rule.Generalization
create(Argument[]) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAddition
create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
create(Argument[]) - Method in class com.meyling.principia.logic.rule.LinkReference
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ModusPonens
create(Argument[]) - Method in class com.meyling.principia.logic.rule.Particularization
create(Argument[]) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
create(Argument[]) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReverseImplication
create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAddition
create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
create(Argument[]) - Method in class com.meyling.principia.logic.rule.SubstLine
create(Argument[]) - Method in class com.meyling.principia.logic.rule.UseAbbreviation
create(Argument[]) - Method in class com.meyling.principia.module.Author
create(Argument[]) - Method in class com.meyling.principia.module.AuthorList
create(Argument[]) - Method in class com.meyling.principia.module.Description
create(Argument[]) - Method in class com.meyling.principia.module.Email
create(Argument[]) - Method in class com.meyling.principia.module.Header
create(Argument[]) - Method in class com.meyling.principia.module.Headline
create(Argument[]) - Method in class com.meyling.principia.module.Import
create(Argument[]) - Method in class com.meyling.principia.module.ImportList
create(Argument[]) - Method in class com.meyling.principia.module.Location
create(Argument[]) - Method in class com.meyling.principia.module.LocationList
create(Argument[]) - Method in class com.meyling.principia.module.Module
create(Argument[]) - Method in class com.meyling.principia.module.Name
create(Argument[]) - Method in class com.meyling.principia.module.ParagraphList
create(Argument[]) - Method in class com.meyling.principia.module.Specification
create(Argument[]) - Method in class com.meyling.principia.module.UsedbyList
create(Argument[]) - Method in class com.meyling.principia.module.Version
createArgument(Class, Argument[]) - Static method in class com.meyling.principia.argument.ArgumentCreator
  Creates a new `Argument`.
createArgument(Class, Argument[]) - Static method in class com.meyling.principia.module.ModuleCreator
  Creates a new `Argument`.
createLink(Module) - Method in class com.meyling.principia.html.Module2Html
  Get link address for referenced module.
createLink(Module) - Method in class com.meyling.principia.html.Module2JHtml
  Get link address for referenced module.
createLink(Module) - Method in class com.meyling.principia.html.Module2OldHtml
  Get link address for referenced module.
createLink(Module) - Method in class com.meyling.principia.latex.Module2Latex
  Get link address for referenced module.
createLink(String) - Method in class com.meyling.principia.latex.Module2Latex
  Get link address for referenced module.
createLink(String, String) - Method in class com.meyling.principia.latex.Module2Latex
  Get link address for referenced module.
createPattern(Formula) - Static method in class com.meyling.principia.logic.basic.AbstractFormula
  Replace the every occurence of a `SubjectVariable` by a `BasicSubjectVariablePatternVariable`, every `PropositionVariable` by a `BasicFormulaPatternVariable` and TODO not yet: every `PredicateVariable` by a `BasicPredicateVariablePatternVariable`.
createQedeqLink(Module) - Method in class com.meyling.principia.latex.Module2Latex
  Get link address for referenced module.
createRelativeAddress(ModuleAddress) - Method in class com.meyling.principia.module.ModuleAddress
  Create relative address from `orgin` to `next`.
createRelativeAddress(String, String) - Static method in class com.meyling.principia.module.ModuleAddress
  Create relative address from `orgin` to `next`.
createRelativePath(File, File) - Static method in class com.meyling.principia.io.Utility
  Create relative address from `orgin` to `next`.

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.