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

G

Generalization - class com.meyling.principia.logic.rule.Generalization.
Implemention of making a conclusion universal.
Generalization(Argument[]) - Constructor for class com.meyling.principia.logic.rule.Generalization
Constructs a generalization rule.
get(PatternVariable) - Method in class com.meyling.principia.argument.PatternVariables
Get PatternVariable object from the set.
get(Argument) - Method in class com.meyling.principia.io.ParsingTable
Get position of argument.
getAbbreviation(String) - Method in class com.meyling.principia.module.Module
Get the abbreviation with label abbreviationLabel.
getAddress() - Method in class com.meyling.principia.io.ParsingException
Get address of problematic module.
getAddress() - Method in class com.meyling.principia.io.TextInput
Get address (or something to identify it) of input source.
getAddress() - Method in class com.meyling.principia.module.ModuleAddress
Get module address.
getAddress() - Method in class com.meyling.principia.module.ModuleProperties
Get address of module.
getAllCheckedModules() - Method in class com.meyling.principia.module.ModuleContext
 
getArgument(int) - Method in class com.meyling.principia.argument.AbstractArgument
 
getArgument(int) - Method in class com.meyling.principia.argument.AbstractArgumentAtom
 
getArgument(int) - Method in class com.meyling.principia.argument.AbstractArgumentList
 
getArgument(int) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
 
getArgument(int) - Method in interface com.meyling.principia.argument.Argument
Get the requested argument.
getArgument() - Method in class com.meyling.principia.argument.ArgumentException
Get problematic argument.
getArgument(int) - Method in class com.meyling.principia.argument.PatternVariable
 
getArgument() - Method in class com.meyling.principia.logic.basic.PredicateVariable
Get the argument.
getArgumentSize() - Method in class com.meyling.principia.argument.AbstractArgument
 
getArgumentSize() - Method in class com.meyling.principia.argument.AbstractArgumentAtom
 
getArgumentSize() - Method in class com.meyling.principia.argument.AbstractArgumentList
 
getArgumentSize() - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList
 
getArgumentSize() - Method in interface com.meyling.principia.argument.Argument
Get the number of arguments.
getArgumentSize() - Method in class com.meyling.principia.argument.PatternVariable
 
getAxiom(String) - Method in class com.meyling.principia.module.Module
Get the axiom with label axiomLabel.
getBegin() - Method in class com.meyling.principia.io.Position
Get start position.
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.AbstractFormula
 
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
getBoundSubjectVariables() - Method in interface com.meyling.principia.logic.basic.Formula
Get all bounded subject variables.
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
 
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.Negation
 
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.PredicateVariable
 
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.PropositionVariable
 
getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.Quantifier
 
getBufferDirectory() - Static method in class com.meyling.principia.module.ModuleContext
Get buffer directory for qedeq module files.
getChar() - Method in class com.meyling.principia.io.Input
Reads a single character and does not change the reading position.
getChar(int) - Method in class com.meyling.principia.io.Input
Reads a single character and does not change the reading position.
getChar() - Method in class com.meyling.principia.io.TextInput
Reads a single character and does not change the reading position.
getChar(int) - Method in class com.meyling.principia.io.TextInput
Reads a single character and does not change the reading position.
getClass(String) - Static method in class com.meyling.principia.module.ModuleCreator
Get class for known name of operator.
getClassName(Class) - Static method in class com.meyling.principia.io.Utility
Get non qualified class name.
getCode() - Method in class com.meyling.principia.argument.ArgumentException
Get exception code.
getCode() - Method in class com.meyling.principia.io.ParsingException
Get exception code.
getCode() - Method in class com.meyling.principia.module.ModuleState
Get module state code.
getColumn() - Method in class com.meyling.principia.io.ParsingException
Get problem column position.
getColumn() - Method in class com.meyling.principia.io.TextInput
Returns the current column number.
getContent() - Method in class com.meyling.principia.argument.PatternVariable
Sets argument of pattern variable.
getDescription() - Method in class com.meyling.principia.argument.ArgumentException
Get exception description.
getDescription() - Method in class com.meyling.principia.io.ParsingException
Get exception description.
getDescription() - Method in class com.meyling.principia.module.ModuleState
Get detailed description of module state.
getEnd() - Method in class com.meyling.principia.io.Position
Get end position.
getException() - Method in class com.meyling.principia.module.ModuleProperties
Get exception.
getFileName() - Method in class com.meyling.principia.module.ModuleAddress
Get name of module including version information and postfix.
getFollowingText() - Method in class com.meyling.principia.logic.paragraph.Paragraph
Get the following text of this paragraph.
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.AbstractFormula
 
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
getFreeSubjectVariables() - Method in interface com.meyling.principia.logic.basic.Formula
Get all free subject variables.
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
 
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.Negation
 
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.PredicateVariable
 
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.PropositionVariable
 
getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.Quantifier
 
getGeneratedName() - Method in class com.meyling.principia.module.ModuleAddress
Transform an URL address into a local file path where a generated module could saved.
getGeneratedName(String) - Method in class com.meyling.principia.module.ModuleAddress
Transform an URL address into a local file path where a generated module or document could be saved.
getGeneratedUrl() - Method in class com.meyling.principia.html.Module2JHtml
 
getGenerationDirectory() - Static method in class com.meyling.principia.module.ModuleContext
Get directory for generated files.
getHeader() - Method in class com.meyling.principia.module.ModuleAddress
Get address header (including protocol, host, port, user) but without file path.
getHighestNumber(Argument) - Static method in class com.meyling.principia.argument.AbstractArgument
Find the highest value for a Counter in this argument.
getHighestNumber() - Method in class com.meyling.principia.logic.basic.BasicPatternVariables
Get highest number of each entry.
getHighestNumber() - Method in class com.meyling.principia.logic.basic.PropositionVariables
Get highest number of each entry.
getHighestNumber() - Method in class com.meyling.principia.logic.basic.SubjectVariables
Get highest number of each entry.
getImports() - Method in class com.meyling.principia.module.Module
Get all imports of this module.
getInFileName() - Method in class com.meyling.principia.io.TextFileReader
Get name of input file.
getInstance() - Static method in class com.meyling.principia.PmiiFacade
Get instance of config access.
getInstance() - Static method in class com.meyling.principia.io.DataDictionary
Get instance of config access.
getInstance() - Static method in class com.meyling.principia.module.ModuleContext
Get instance of module context.
getKernelVersion() - Static method in class com.meyling.principia.module.ModuleContext
Get version of this kernel.
getLabel() - Method in class com.meyling.principia.logic.paragraph.LinkLabel
 
getLabel() - Method in class com.meyling.principia.logic.paragraph.Paragraph
Get the label of this paragraph.
getLabel() - Method in interface com.meyling.principia.module.Labeled
Get label of object.
getLabelModule(String) - Method in class com.meyling.principia.module.Module
Get module the label was defined in.
getLabeledArgument(String) - Method in class com.meyling.principia.module.Module
Get the sentence or axiom with label label.
getLabeledFormula(String) - Method in class com.meyling.principia.module.Module
Get the sentence or axiom formula with label label.
getLabels() - Method in class com.meyling.principia.module.Module
Get a map of all known labels.
getLastEntry() - Method in class com.meyling.principia.argument.FoundException
Get last argument entry.
getLine() - Method in class com.meyling.principia.io.ParsingException
Get problematic source line.
getLine() - Method in class com.meyling.principia.io.TextFileReader
Get currently read line.
getLine() - Method in class com.meyling.principia.io.TextInput
Returns the current line.
getLineNumber() - Method in class com.meyling.principia.io.Input
Returns the current line number.
getLineNumber() - Method in class com.meyling.principia.io.TextFileReader
Get currently read line number.
getList() - Method in class com.meyling.principia.argument.FoundException
Get current parent children list.
getLocalAddress() - Method in class com.meyling.principia.io.TextInput
Get local address (or something to identify it) of input source.
getLocalName() - Method in class com.meyling.principia.module.ModuleAddress
Transform an URL address into a local file path where a module could be buffered.
getLocalName(String) - Static method in class com.meyling.principia.module.ModuleAddress
Transform an URL address into a local file path where a module could be buffered
getMap() - Method in class com.meyling.principia.argument.PatternVariables
Return map of set of pattern variables.
getMap() - Static method in class com.meyling.principia.logic.basic.BasicCreator
Get the mapping of Strings to operator classes.
getMap() - Static method in class com.meyling.principia.logic.paragraph.ParagraphCreator
Get the mapping of Strings to operator classes.
getMap() - Static method in class com.meyling.principia.logic.rule.RuleCreator
Get the mapping of Strings to operator classes.
getMap() - Static method in class com.meyling.principia.module.ModuleCreator
Get the mapping of Strings to operator classes.
getMap() - Static method in class com.meyling.principia.module.SimpleModuleCreator
Get the mapping of Strings to operator classes.
getMaximumPosition() - Method in class com.meyling.principia.io.TextInput
Returns the highest position number possible.
getMnemonic(String) - Method in class com.meyling.principia.io.DataDictionary
Returns a mnemonic from the resource bundle.
getModule() - Method in class com.meyling.principia.module.ModuleProperties
Get module.
getModuleAddress() - Method in class com.meyling.principia.module.Module
Get the ModuleAddress where this module is from.
getModuleAddress() - Method in class com.meyling.principia.module.ModuleProperties
Get ModuleAddress of module.
getModuleContext() - Method in class com.meyling.principia.PmiiFacade
 
getModuleFileName() - Method in class com.meyling.principia.module.Module
Get the full module name, with version and rule version, but without path.
getModuleFileName(Specification) - Static method in class com.meyling.principia.module.ModuleAddress
Get the file name of the specified module.
getModuleFileName(String) - Static method in class com.meyling.principia.module.ModuleAddress
Get the file name of an module without path and protokoll.
getModulePaths(Module, Specification) - Static method in class com.meyling.principia.module.ModuleAddress
Get all potential module addresses from a module specifiaction.
getModuleProperties(String) - Method in class com.meyling.principia.module.ModuleContext
 
getModuleVersion() - Method in class com.meyling.principia.module.ModuleAddress
Get version of module.
getModuleVersion() - Method in class com.meyling.principia.module.ModuleProperties
Get module version information.
getName(Class) - Static method in class com.meyling.principia.logic.basic.BasicCreator
Get name of known operator class.
getName(Class) - Static method in class com.meyling.principia.logic.paragraph.ParagraphCreator
Get name of known operator class.
getName(Class) - Static method in class com.meyling.principia.logic.rule.RuleCreator
Get name of known operator class.
getName() - Method in class com.meyling.principia.module.ModuleAddress
Get name of module (without version information and postfix).
getName(Class) - Static method in class com.meyling.principia.module.ModuleCreator
Get name of known operator class.
getName() - Method in class com.meyling.principia.module.ModuleProperties
Get name of module.
getName(Class) - Static method in class com.meyling.principia.module.SimpleModuleCreator
Get name of known operator class.
getNumber() - Method in class com.meyling.principia.argument.Counter
Get the number.
getNumber() - Method in interface com.meyling.principia.argument.CounterMarker
Get number of object.
getNumber() - Method in class com.meyling.principia.argument.Enumerator
Gets current number.
getNumber() - Method in class com.meyling.principia.argument.PatternVariable
Get number of pattern variable.
getNumber() - Method in class com.meyling.principia.logic.basic.PredicateVariable
Get the identity number of predicate variable.
getNumber() - Method in class com.meyling.principia.logic.basic.PropositionVariable
Get the identity number of this proposition variable.
getNumber() - Method in class com.meyling.principia.logic.basic.SubjectVariable
Get the number of the subject variable.
getNumber() - Method in interface com.meyling.principia.logic.basic.SubjectVariableMarker
Get number of object.
getParagraphCheck() - Method in class com.meyling.principia.logic.paragraph.Paragraph
Get the meat of this paragraph.
getParagraphs() - Method in class com.meyling.principia.module.Module
Get all paragraphs of this module.
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.AbstractFormula
 
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
getPartFormula(int) - Method in interface com.meyling.principia.logic.basic.Formula
Get the requested part formula
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
 
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.Negation
 
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.PredicateVariable
 
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.PropositionVariable
 
getPartFormula(int) - Method in class com.meyling.principia.logic.basic.Quantifier
 
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.AbstractFormula
 
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
getPartFormulaSize() - Method in interface com.meyling.principia.logic.basic.Formula
Get the number of part formulas that this formula contains.
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
 
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.Negation
 
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.PredicateVariable
 
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.PropositionVariable
 
getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.Quantifier
 
getPath() - Method in class com.meyling.principia.module.ModuleAddress
Get address path (without protocol, host, port and file name).
getPatternVariables() - Method in class com.meyling.principia.argument.AbstractArgument
 
getPatternVariables() - Method in interface com.meyling.principia.argument.Argument
Get all pattern variables that occur in this argument.
getPatternVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
getPatternVariables() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
getPatternVariables() - Method in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable
 
getPosition() - Method in class com.meyling.principia.io.ParsingException
Get position of problem.
getPosition() - Method in class com.meyling.principia.io.TextInput
Returns the current position.
getPreceedingText() - Method in class com.meyling.principia.logic.paragraph.Paragraph
Get the preceeding text of this paragraph.
getProofLines() - Method in class com.meyling.principia.logic.rule.AddAxiom
 
getProofLines() - Method in class com.meyling.principia.logic.rule.AddSentence
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ApplyAxiom
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ApplySentence
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ConjunctionRule
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
 
getProofLines() - Method in class com.meyling.principia.logic.rule.Generalization
 
getProofLines() - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
 
getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAddition
 
getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
 
getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
 
getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ModusPonens
 
getProofLines() - Method in class com.meyling.principia.logic.rule.Particularization
 
getProofLines() - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
 
getProofLines() - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
 
getProofLines() - Method in class com.meyling.principia.logic.rule.ReverseImplication
 
getProofLines() - Method in class com.meyling.principia.logic.rule.RightAddition
 
getProofLines() - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
 
getProofLines() - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
 
getProofLines() - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
 
getProofLines() - Method in interface com.meyling.principia.logic.rule.Rule
Get proof line numbers that are used to derive the new formula.
getProofLines() - Method in class com.meyling.principia.logic.rule.SubstLine
 
getProofLines() - Method in class com.meyling.principia.logic.rule.UseAbbreviation
 
getPropositions() - Method in class com.meyling.principia.module.Module
Get all propositions of this module.
getReference() - Method in class com.meyling.principia.logic.rule.LinkReference
 
getReferencedModules() - Method in class com.meyling.principia.module.Module
Get a map of all referenced modules.
getReplacementParents(Enumerator, int, Argument, Argument) - Method in class com.meyling.principia.argument.AbstractArgument
 
getReplacementParents(Enumerator, int, Argument, Argument) - Method in interface com.meyling.principia.argument.Argument
Get a children parents list for the occurrence-th occurence of searchPattern replaced by replacementPattern.
getResourceBundle() - Method in class com.meyling.principia.io.DataDictionary
Returns the resource bundle associated with this application.
getRow() - Method in class com.meyling.principia.io.ParsingException
Get row number of problem.
getRow() - Method in class com.meyling.principia.io.TextInput
Returns the current line number.
getRuleDeclaration(Class) - Method in class com.meyling.principia.module.Module
Get the declaration for a rule.
getRuleDeclaration(String) - Method in class com.meyling.principia.module.Module
Get the declaration for a rule.
getRuleDeclarationLabel(Class) - Method in class com.meyling.principia.module.Module
Get the declaration for a rule.
getRuleVersion() - Method in class com.meyling.principia.module.Module
Get the rule version this module could use maximal.
getRuleVersion() - Method in class com.meyling.principia.module.ModuleAddress
Get rule version of module.
getRuleVersion() - Static method in class com.meyling.principia.module.ModuleContext
Get maximum version of supported rules.
getRuleVersion() - Method in class com.meyling.principia.module.ModuleProperties
Get rule version information.
getSearchParents(Enumerator, int, Argument) - Method in class com.meyling.principia.argument.AbstractArgument
 
getSearchParents(Enumerator, int, Argument) - Method in interface com.meyling.principia.argument.Argument
Get a children parents list for the occurrence-th occurence of searchPattern.
getSecondaryArgument() - Method in class com.meyling.principia.argument.ArgumentException
Get secundary argument.
getSentence(String) - Method in class com.meyling.principia.module.Module
Get the sentence with label sentenceLabel.
getSize() - Method in class com.meyling.principia.argument.PatternVariables
Get number of elements in the set.
getSize() - Method in class com.meyling.principia.logic.basic.PropositionVariables
Get number of elements in the set.
getSize() - Method in class com.meyling.principia.logic.basic.SubjectVariables
Get number of elements in the set.
getSpaces(int) - Static method in class com.meyling.principia.io.Utility
Get amount of spaces.
getState() - Method in class com.meyling.principia.module.ModuleProperties
Get module state.
getStateDescription() - Method in class com.meyling.principia.module.ModuleProperties
Get module state description.
getString(String) - Method in class com.meyling.principia.io.DataDictionary
This method returns a string from the resource bundle.
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.AbstractFormula
 
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable
 
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable
 
getSubjectVariables() - Method in interface com.meyling.principia.logic.basic.Formula
Get all subject variables that occur in this formula.
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
 
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.Negation
 
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.PredicateVariable
 
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.PropositionVariable
 
getSubjectVariables() - Method in class com.meyling.principia.logic.basic.Quantifier
 
getText() - Method in class com.meyling.principia.argument.Text
Get the text.
getText() - Method in class com.meyling.principia.html.Module2JHtml
 
getText() - Method in class com.meyling.principia.logic.paragraph.LinkLabel
 
getText() - Method in class com.meyling.principia.module.Author
 
getText() - Method in class com.meyling.principia.module.Description
 
getText() - Method in class com.meyling.principia.module.Email
 
getText() - Method in class com.meyling.principia.module.Headline
 
getText() - Method in class com.meyling.principia.module.Location
 
getText() - Method in class com.meyling.principia.module.ModuleState
Get meaning of module state.
getText() - Method in class com.meyling.principia.module.Name
 
getText() - Method in interface com.meyling.principia.module.Textable
Get label of object.
getText() - Method in class com.meyling.principia.module.Version
 
getURL() - Method in class com.meyling.principia.module.ModuleAddress
Get fully qualified URL of module.
getUrl() - Method in class com.meyling.principia.module.ModuleProperties
Get orginal URL of module.
getUsedby() - Method in class com.meyling.principia.module.Module
Get all usedby references of this module.
getUserHomeDirectory() - Static method in class com.meyling.principia.io.Utility
 
getVariable() - Method in class com.meyling.principia.logic.basic.Quantifier
Get the subject variable of this quantifier.
getVariables() - Method in class com.meyling.principia.logic.basic.BasicPatternVariables
Get VariableList of all variables, the list is orderd by type and number of the pattern variables.
getVersion() - Method in class com.meyling.principia.logic.rule.AddAxiom
 
getVersion() - Method in class com.meyling.principia.logic.rule.AddSentence
 
getVersion() - Method in class com.meyling.principia.logic.rule.ApplyAxiom
 
getVersion() - Method in class com.meyling.principia.logic.rule.ApplySentence
 
getVersion() - Method in class com.meyling.principia.logic.rule.ConjunctionRule
 
getVersion() - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
 
getVersion() - Method in class com.meyling.principia.logic.rule.Generalization
 
getVersion() - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
 
getVersion() - Method in class com.meyling.principia.logic.rule.LeftAddition
 
getVersion() - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
 
getVersion() - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
 
getVersion() - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
 
getVersion() - Method in class com.meyling.principia.logic.rule.ModusPonens
 
getVersion() - Method in class com.meyling.principia.logic.rule.Particularization
 
getVersion() - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
 
getVersion() - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
 
getVersion() - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
 
getVersion() - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
 
getVersion() - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
 
getVersion() - Method in class com.meyling.principia.logic.rule.ReverseImplication
 
getVersion() - Method in class com.meyling.principia.logic.rule.RightAddition
 
getVersion() - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
 
getVersion() - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
 
getVersion() - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
 
getVersion() - Method in interface com.meyling.principia.logic.rule.Rule
Get version of this rule.
getVersion() - Method in class com.meyling.principia.logic.rule.SubstLine
 
getVersion() - Method in class com.meyling.principia.logic.rule.UseAbbreviation
 
getVersionDirectory() - Static method in class com.meyling.principia.module.ModuleContext
Get relative version directory of this kernel.
greaterThan(Version) - Method in class com.meyling.principia.module.Version
Check if this version is greater than another one

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.