G-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

## 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

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.