|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Module | |
com.meyling.principia.html | |
com.meyling.principia.latex | |
com.meyling.principia.logic.paragraph | |
com.meyling.principia.logic.rule | |
com.meyling.principia.module |
Uses of Module in com.meyling.principia.html |
Methods in com.meyling.principia.html with parameters of type Module | |
String |
Module2Html.createLink(Module referenced)
Get link address for referenced module. |
String |
Module2JHtml.createLink(Module referenced)
Get link address for referenced module. |
String |
Module2OldHtml.createLink(Module referenced)
Get link address for referenced module. |
Uses of Module in com.meyling.principia.latex |
Methods in com.meyling.principia.latex with parameters of type Module | |
String |
Module2Latex.createLink(Module referenced)
Get link address for referenced module. |
String |
Module2Latex.createQedeqLink(Module referenced)
Get link address for referenced module. |
Uses of Module in com.meyling.principia.logic.paragraph |
Methods in com.meyling.principia.logic.paragraph with parameters of type Module | |
void |
Axiom.check(Module module,
String label)
Tries to add this axiom. |
void |
Abbreviation.check(Module module,
String label)
Adds abbreviation to module. |
void |
Paragraph.check(Module module)
Check if this paragraph could be added. |
void |
ParagraphCheck.check(Module module,
String label)
Check if a paragraph could be added to a module. |
void |
Proposition.check(Module module,
String label)
Check if proof is correct. |
void |
Proposition.reduceRuleVersion(Module module,
Version version)
Reduce needed rule version and change proof lines in that way. |
void |
RuleDeclaration.check(Module module,
String label)
Check if declaration is correct. |
Uses of Module in com.meyling.principia.logic.rule |
Methods in com.meyling.principia.logic.rule with parameters of type Module | |
void |
LeftAdditionConjunction.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of left addition of a conjunction. |
ProofLineList |
LeftAdditionConjunction.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
LeftAdditionConjunction.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
void |
RenameFreeSubjectVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula by replacing a free subject variable of a proof line by another subject variable. |
ProofLineList |
RenameFreeSubjectVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
RenameFreeSubjectVariable.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
ConjunctionRule.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of conjunction rule. |
ProofLineList |
ConjunctionRule.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
ConjunctionRule.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
SubstLine.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
SubstLine.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
SubstLine.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
ReplacePropositionVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula if the proposition variable is replaced by the formula of the constructor. |
ProofLineList |
ReplacePropositionVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
ReplacePropositionVariable.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
ReverseImplication.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of reversing an implication. |
ProofLineList |
ReverseImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
ReverseImplication.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
void |
Rule.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula (using the arguments of rule). |
ProofLineList |
Rule.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
RightAddition.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition. |
ProofLineList |
RightAddition.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
RightAddition.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
void |
AddSentence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
static void |
AddSentence.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
ProofLineList |
AddSentence.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
LeftAddition.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of left addition. |
ProofLineList |
LeftAddition.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
LeftAddition.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
void |
RightAdditionImplication.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
ProofLineList |
RightAdditionImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
RightAdditionImplication.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
void |
LeftAdditionImplication.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
static void |
LeftAdditionImplication.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
ProofLineList |
LeftAdditionImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
ReplacePredicateVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula if replacing the predicate variable by the formula of the constructor. |
ProofLineList |
ReplacePredicateVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
ReplacePredicateVariable.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
RenameBoundSubjectVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
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. |
ProofLineList |
RenameBoundSubjectVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
RenameBoundSubjectVariable.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
AddAxiom.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
AddAxiom.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
AddAxiom.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
Generalization.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of modus ponens. |
ProofLineList |
Generalization.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
Generalization.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
Particularization.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with a formula because of modus ponens. |
ProofLineList |
Particularization.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
Particularization.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
ApplySentence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
ApplySentence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
ApplySentence.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
ApplyAxiom.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
ApplyAxiom.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
ApplyAxiom.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
HypotheticalSyllogism.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of hypothetical syllogism. |
ProofLineList |
HypotheticalSyllogism.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
HypotheticalSyllogism.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
void |
ReverseAbbreviation.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
ProofLineList |
ReverseAbbreviation.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
ReverseAbbreviation.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
ElementaryEquivalence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
static void |
ElementaryEquivalence.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
ProofLineList |
ElementaryEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
UseAbbreviation.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
ProofLineList |
UseAbbreviation.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
UseAbbreviation.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
RightAdditionEquivalence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
static void |
RightAdditionEquivalence.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
ProofLineList |
RightAdditionEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
LeftAdditionEquivalence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
static void |
LeftAdditionEquivalence.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
ProofLineList |
LeftAdditionEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
ModusPonens.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of modus ponens. |
ProofLineList |
ModusPonens.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
static void |
ModusPonens.checkDeclaration(Module module,
RuleDeclaration declaration)
Check this rule could be declared. |
void |
RightAdditionConjunction.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a conjunction. |
ProofLineList |
RightAdditionConjunction.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
static void |
RightAdditionConjunction.checkDeclaration(Module module,
RuleDeclaration declaration)
Check if this rule could be declared. |
Uses of Module in com.meyling.principia.module |
Methods in com.meyling.principia.module that return Module | |
Module |
Module.getLabelModule(String label)
Get module the label was defined in. |
Module |
ModuleProperties.getModule()
Get module. |
Module |
ModuleContext.loadModule(String address)
Get a certain module. |
Module |
ModuleContext.loadModule(ModuleAddress moduleAddress)
Get a certain module. |
Module |
ModuleContext.loadModule(Module module,
Specification spec)
Load a certain module. |
Methods in com.meyling.principia.module with parameters of type Module | |
void |
Module.addReferencedModule(Module module)
Add referenced module. |
void |
Module.addAbbreviation(String abbreviationLabel,
Abbreviation abbreviation,
Module module)
Add abbreviation with label abbreviationLabel . |
void |
Module.addAxiom(String axiomLabel,
Axiom axiom,
Module module)
Add axiom with label axiomLabel . |
void |
Module.addSentence(String sentenceLabel,
Sentence sentence,
Module module)
Add sentence with label sentenceLabel . |
void |
Module.addRuleDeclaration(String ruleLabel,
RuleDeclaration declaration,
Module module)
Declare a new rule. |
(package private) static ModuleAddress[] |
ModuleAddress.getModulePaths(Module module,
Specification spec)
Get all potential module addresses from a module specifiaction. |
void |
ModuleProperties.setCheckedAndLoaded(Module module)
Set checked and loaded state and module. |
Module |
ModuleContext.loadModule(Module module,
Specification spec)
Load a certain module. |
static void |
ModuleWriter.writeModule(Module module,
Output output)
Write a module. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |