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

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

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.