< A B C D E F G H I K 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(Argument) - Method in class com.meyling.principia.io.ParsingTable

Get position of argument.

get(PatternVariable) - Method in class com.meyling.principia.argument.PatternVariables

Get PatternVariable object with same number from the set.

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

getArgument() - Method in class com.meyling.principia.argument.ArgumentException

Get problematic argument.

getArgument() - Method in class com.meyling.principia.io.ArgumentPointer

Get wrapped argument.

getArgument() - Method in class com.meyling.principia.io.ParsingTable.ArgumentWrapper

Get wrapped argument.

getArgument() - Method in class com.meyling.principia.logic.basic.PackageTest.TestReader

Return argument as String.

getArgument() - Method in class com.meyling.principia.logic.basic.PredicateVariable

Get the argument.

getArgument() - Method in class com.meyling.principia.module.PackageTest.TestReader

Return argument as String.

getArgument(int) - Method in class com.meyling.principia.argument.AbstractArgument

getArgument(int) - Method in class com.meyling.principia.argument.AbstractArgumentAtom

getArgument(int) - Method in interface com.meyling.principia.argument.Argument

Get the requested argument.

getArgument(int) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList

getArgument(int) - Method in class com.meyling.principia.argument.PatternVariable

getArgument(int) - Method in class com.meyling.principia.argument.AbstractArgumentList

getArgumentLineNumber() - Method in class com.meyling.principia.logic.basic.PackageTest.TestReader

Return argumentNumber.

getArgumentLineNumber() - Method in class com.meyling.principia.module.PackageTest.TestReader

Return argumentNumber.

getArgumentSize() - Method in class com.meyling.principia.argument.AbstractArgument

getArgumentSize() - Method in class com.meyling.principia.argument.AbstractArgumentAtom

getArgumentSize() - Method in interface com.meyling.principia.argument.Argument

Get the number of arguments.

getArgumentSize() - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList

getArgumentSize() - Method in class com.meyling.principia.argument.PatternVariable

getArgumentSize() - Method in class com.meyling.principia.argument.AbstractArgumentList

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.LogicalOperatorWithTwoFormulas

getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.PropositionVariable

getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.Quantifier

getBoundSubjectVariables() - Method in interface com.meyling.principia.logic.basic.Formula

Get all bounded subject variables.

getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.PredicateVariable

getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.Negation

getBoundSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

getChar() - Method in class com.meyling.principia.io.TextInput

Reads a single character and does not change the reading position.

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.TextInput

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.

getClass(String) - Static method in class com.meyling.principia.module.ModuleCreator

Get class for known name of operator.

getCode() - Method in class com.meyling.principia.argument.ArgumentException

Get exception code.

getCode() - Method in class com.meyling.principia.io.ParsingException

Get exception code.

getColumn() - Method in class com.meyling.principia.io.ParsingException

Get problem 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 code.

getDescription() - Method in class com.meyling.principia.io.ParsingException

Get exception code.

getEnd() - Method in class com.meyling.principia.io.Position

Get end position.

getFileName() - Method in class com.meyling.principia.module.ModuleAddress

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.LogicalOperatorWithTwoFormulas

getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.PropositionVariable

getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.Quantifier

getFreeSubjectVariables() - Method in interface com.meyling.principia.logic.basic.Formula

Get all free subject variables.

getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.PredicateVariable

getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.Negation

getFreeSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

getHeader() - Method in class com.meyling.principia.module.ModuleAddress

getHighestNumber() - Method in class com.meyling.principia.logic.basic.SubjectVariables

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.BasicPatternVariables

Get highest number of each entry.

getHighestNumber(Argument) - Static method in class com.meyling.principia.argument.AbstractArgument

Find the highest value for a Counter in this argument.

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.

getInput() - Method in class com.meyling.principia.module.ModuleContext.PeekTextInput

Get the current TextInput object.

getKernelVersion() - Static method in class com.meyling.principia.module.ModuleContext

Get version of this kernel.

getLabel() - Method in class com.meyling.principia.logic.paragraph.Paragraph

Get the label of this paragraph.

getLabel() - Method in class com.meyling.principia.logic.paragraph.LinkLabel

getLabel() - Method in interface com.meyling.principia.module.Labeled

Get label of object.

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.

getLabelModule(String) - Method in class com.meyling.principia.module.Module

Get module the label was defined in.

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.TextInput

Returns the current line.

getLine() - Method in class com.meyling.principia.io.TextFileReader

Get currently read 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() - Method in class com.meyling.principia.logic.basic.SubjectVariables

Get the set of subject variables and pattern variables.

getMap() - Static method in class com.meyling.principia.logic.basic.BasicCreator

Get the mapping of Strings to operator classes.

getMap() - Method in class com.meyling.principia.logic.basic.PropositionVariables

Get the set of proposition variables and pattern variables.

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.

getModuleAddress() - Method in class com.meyling.principia.module.Module

Get the ModuleAddress where this module is from.

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.

getModuleVersion() - Method in class com.meyling.principia.module.ModuleAddress

getName() - Method in class com.meyling.principia.module.ModuleAddress

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(Class) - Static method in class com.meyling.principia.module.ModuleCreator

Get name of known operator class.

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.PatternVariable

Get number of pattern variable.

getNumber() - Method in class com.meyling.principia.argument.Enumerator

Gets current number.

getNumber() - Method in class com.meyling.principia.logic.basic.PropositionVariable

Get the identity number of this proposition variable.

getNumber() - Method in interface com.meyling.principia.logic.basic.SubjectVariableMarker

Get number of object.

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.SubjectVariable

Get the number of the subject variable.

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.LogicalOperatorWithTwoFormulas

getPartFormula(int) - Method in class com.meyling.principia.logic.basic.PropositionVariable

getPartFormula(int) - Method in class com.meyling.principia.logic.basic.Quantifier

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.PredicateVariable

getPartFormula(int) - Method in class com.meyling.principia.logic.basic.Negation

getPartFormula(int) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.AbstractFormula

getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.PropositionVariable

getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.Quantifier

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.PredicateVariable

getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.Negation

getPartFormulaSize() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

getPath() - Method in class com.meyling.principia.module.ModuleAddress

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.BasicSubjectVariablePatternVariable

getPatternVariables() - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable

getPatternVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

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.UseAbbreviation

getProofLines() - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence

getProofLines() - Method in class com.meyling.principia.logic.rule.Particularization

getProofLines() - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable

getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication

getProofLines() - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

getProofLines() - Method in class com.meyling.principia.logic.rule.RightAddition

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.Generalization

getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

getProofLines() - Method in class com.meyling.principia.logic.rule.ConjunctionRule

getProofLines() - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

getProofLines() - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction

getProofLines() - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable

getProofLines() - Method in class com.meyling.principia.logic.rule.ReverseImplication

getProofLines() - Method in class com.meyling.principia.logic.rule.AddSentence

getProofLines() - Method in class com.meyling.principia.logic.rule.AddAxiom

getProofLines() - Method in class com.meyling.principia.logic.rule.ApplySentence

getProofLines() - Method in class com.meyling.principia.logic.rule.ModusPonens

getProofLines() - Method in class com.meyling.principia.logic.rule.ApplyAxiom

getProofLines() - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism

getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction

getProofLines() - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation

getProofLines() - Method in class com.meyling.principia.logic.rule.RightAdditionImplication

getProofLines() - Method in class com.meyling.principia.logic.rule.LeftAddition

getProofLines() - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence

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

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.

getRow() - Method in class com.meyling.principia.io.ParsingException

Get row 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.ModuleAddress

getRuleVersion() - Method in class com.meyling.principia.module.Module

Get the rule version this module could use maximal.

getRuleVersion() - Static method in class com.meyling.principia.module.ModuleContext

Get maximum version of supported rules.

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.SubjectVariables

Get number of elements in the set.

getSize() - Method in class com.meyling.principia.logic.basic.PropositionVariables

Get number of elements in the set.

getSubjectVariables() - Method in class com.meyling.principia.logic.basic.AbstractFormula

getSubjectVariables() - Method in class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

getSubjectVariables() - Method in class com.meyling.principia.logic.basic.PropositionVariable

getSubjectVariables() - Method in class com.meyling.principia.logic.basic.Quantifier

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.PredicateVariable

getSubjectVariables() - Method in class com.meyling.principia.logic.basic.Negation

getSubjectVariables() - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

getSubVersion(int) - Method in class com.meyling.principia.module.Version

Get the i-th sub version.

getText() - Method in class com.meyling.principia.argument.Text

Get the text.

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.Email

getText() - Method in class com.meyling.principia.module.Description

getText() - Method in class com.meyling.principia.module.Location

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

getText() - Method in class com.meyling.principia.module.Headline

getURL() - Method in class com.meyling.principia.module.ModuleAddress

getUsedby() - Method in class com.meyling.principia.module.Module

Get all usedby references of this module.

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.

getVersion() - Method in class com.meyling.principia.logic.rule.UseAbbreviation

getVersion() - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence

getVersion() - Method in class com.meyling.principia.logic.rule.Particularization

getVersion() - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable

getVersion() - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication

getVersion() - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

getVersion() - Method in class com.meyling.principia.logic.rule.RightAddition

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.Generalization

getVersion() - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

getVersion() - Method in class com.meyling.principia.logic.rule.ConjunctionRule

getVersion() - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

getVersion() - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction

getVersion() - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable

getVersion() - Method in class com.meyling.principia.logic.rule.ReverseImplication

getVersion() - Method in class com.meyling.principia.logic.rule.AddSentence

getVersion() - Method in class com.meyling.principia.logic.rule.AddAxiom

getVersion() - Method in class com.meyling.principia.logic.rule.ApplySentence

getVersion() - Method in class com.meyling.principia.logic.rule.ModusPonens

getVersion() - Method in class com.meyling.principia.logic.rule.ApplyAxiom

getVersion() - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism

getVersion() - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction

getVersion() - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation

getVersion() - Method in class com.meyling.principia.logic.rule.RightAdditionImplication

getVersion() - Method in class com.meyling.principia.logic.rule.LeftAddition

getVersion() - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence

greaterThan(Version) - Method in class com.meyling.principia.module.Version

Check if this version is greater than another one