Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.module.Module

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

©left GNU General Public Licence
All Rights Reserved.