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