Hilbert II - Version 0.01.09
A C D E F G H I K L M N O P Q R S T U V W X

G

generate(String, String, String, String) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Latex
Generate LaTeX file out of XML file.
get(int) - Method in interface org.qedeq.kernel.base.module.AuthorList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.ChapterList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.ImportList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.LatexList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.LinkList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.LocationList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.ProofList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.SectionList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.SubsectionList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.UsedByList
Get index-th element of list.
get(int) - Method in interface org.qedeq.kernel.base.module.VariableList
Get index-th element of list.
get(int) - Method in class org.qedeq.kernel.bo.module.AuthorListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.ChapterListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.ImportListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.LatexListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.LinkListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.LocationListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.ProofListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.SectionListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.SubsectionListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.UsedByListBo
 
get(int) - Method in class org.qedeq.kernel.bo.module.VariableListBo
 
get(int) - Method in class org.qedeq.kernel.dto.module.AuthorListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.ChapterListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.ImportListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.LatexListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.LinkListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.LocationListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.ProofListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.SectionListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.SubsectionListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.UsedByListVo
 
get(int) - Method in class org.qedeq.kernel.dto.module.VariableListVo
 
get(int) - Method in class org.qedeq.kernel.rel.test.gui.ParameterList
Get i-th parameter.
get(int) - Method in class org.qedeq.kernel.xml.parser.ExceptionList
Get i-th exception.
getAddress() - Method in class org.qedeq.kernel.utility.TextInput
Get address (or something to identify it) of input source.
getAddress() - Method in class org.qedeq.kernel.xml.tracker.SourcePosition
Get address (or something to identify it) of input source.
getArgumentNumber() - Method in interface org.qedeq.kernel.base.module.Definition
Get number of arguments for the defined object.
getArgumentNumber() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getArgumentNumber() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getAtom() - Method in interface org.qedeq.kernel.base.elli.Element
Return this element as an Atom.
getAtom() - Method in class org.qedeq.kernel.dto.elli.AtomImpl
 
getAtom() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl
 
getAttribute() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Get attribute.
getAuthor() - Method in class org.qedeq.kernel.xml.handler.module.AuthorHandler
Get author.
getAuthorList() - Method in interface org.qedeq.kernel.base.module.Header
Get author list.
getAuthorList() - Method in class org.qedeq.kernel.bo.module.HeaderBo
 
getAuthorList() - Method in class org.qedeq.kernel.dto.module.HeaderVo
 
getAuthorList() - Method in class org.qedeq.kernel.xml.handler.module.AuthorListHandler
Get list of authors.
getAxiom() - Method in interface org.qedeq.kernel.base.module.NodeType
Get axiom, if this is an instance of Axiom.
getAxiom() - Method in class org.qedeq.kernel.bo.module.AxiomBo
 
getAxiom() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getAxiom() - Method in class org.qedeq.kernel.bo.module.PropositionBo
 
getAxiom() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getAxiom() - Method in class org.qedeq.kernel.dto.module.AxiomVo
 
getAxiom() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getAxiom() - Method in class org.qedeq.kernel.dto.module.PropositionVo
 
getAxiom() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getAxiom() - Method in class org.qedeq.kernel.xml.handler.module.AxiomHandler
Get axiom.
getBeforeLastElement() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Get XPath element name before last.
getBoolean(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes
Returns the value for a key as an Boolean.
getBooleanValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get Boolean parameter value.
getBoundSubjectVariables(Element) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker
Return all bound subject variables of an element.
getChapter() - Method in class org.qedeq.kernel.xml.handler.module.ChapterHandler
Get parsed chapter.
getChapterList() - Method in interface org.qedeq.kernel.base.module.Qedeq
Get all chapters.
getChapterList() - Method in class org.qedeq.kernel.bo.module.QedeqBo
 
getChapterList() - Method in class org.qedeq.kernel.dto.module.QedeqVo
 
getChar() - Method in class org.qedeq.kernel.utility.TextInput
Reads a single character and does not change the reading position.
getChar(int) - Method in class org.qedeq.kernel.utility.TextInput
Reads a single character and does not change the reading position.
getClassName(Class) - Static method in class org.qedeq.kernel.utility.IoUtility
Get non qualified class name.
getCode() - Method in class org.qedeq.kernel.bo.module.QedeqBoState
Get module state code.
getColumn() - Method in class org.qedeq.kernel.utility.TextInput
Returns the current column number.
getColumn() - Method in class org.qedeq.kernel.xml.tracker.SourcePosition
Get column number, starting with 1.
getComment() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get parameter comment.
getContext() - Method in class org.qedeq.kernel.bo.control.IllegalModuleDataException
Get context information about error location.
getContext() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException
Get context information about error location.
getCurrentContext() - Method in class org.qedeq.kernel.bo.control.QedeqBoFactory
Get current context within original.
getDate(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes
Returns the value for a key as an Date.
getDefinition() - Method in interface org.qedeq.kernel.base.module.NodeType
Get definition, if this is an instance of Definition.
getDefinition() - Method in class org.qedeq.kernel.bo.module.AxiomBo
 
getDefinition() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getDefinition() - Method in class org.qedeq.kernel.bo.module.PropositionBo
 
getDefinition() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getDefinition() - Method in class org.qedeq.kernel.dto.module.AxiomVo
 
getDefinition() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getDefinition() - Method in class org.qedeq.kernel.dto.module.PropositionVo
 
getDefinition() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getDefinition() - Method in class org.qedeq.kernel.xml.handler.module.DefinitionHandler
Get definition.
getDescription() - Method in interface org.qedeq.kernel.base.module.Axiom
Get description.
getDescription() - Method in interface org.qedeq.kernel.base.module.Definition
Get description.
getDescription() - Method in interface org.qedeq.kernel.base.module.Proposition
Get description.
getDescription() - Method in interface org.qedeq.kernel.base.module.Rule
Get rule description.
getDescription() - Method in class org.qedeq.kernel.bo.module.AxiomBo
 
getDescription() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getDescription() - Method in class org.qedeq.kernel.bo.module.PropositionBo
 
getDescription() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getDescription() - Method in class org.qedeq.kernel.dto.module.AxiomVo
 
getDescription() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getDescription() - Method in class org.qedeq.kernel.dto.module.PropositionVo
 
getDescription() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getDescription() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException
Get detailed error description.
getDescriptiveKernelVersion() - Static method in class org.qedeq.kernel.context.KernelContext
Get descriptive version information of this kernel.
getDoubleValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get Double parameter value.
getEditedQedeq() - Method in class org.qedeq.kernel.rel.test.gui.QedeqPane
Get qedeq text, if qedeq text is editable.
getElement(int) - Method in interface org.qedeq.kernel.base.elli.ElementList
Get the requested argument.
getElement() - Method in interface org.qedeq.kernel.base.module.FormulaOrTerm
Get formula or term.
getElement() - Method in class org.qedeq.kernel.bo.logic.CheckException
Get the element.
getElement() - Method in class org.qedeq.kernel.bo.module.FormulaOrTermBo
 
getElement(int) - Method in class org.qedeq.kernel.dto.elli.ElementListImpl
 
getElement() - Method in class org.qedeq.kernel.dto.module.FormulaOrTermVo
 
getElement() - Method in class org.qedeq.kernel.xml.handler.elli.ElementHandler
Get parsed element.
getElementName(int) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Get i-th Element name.
getElementOccurrence(int) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Get i-th occurrence number.
getElements() - Method in interface org.qedeq.kernel.base.elli.ElementList
Get all arguments as an list.
getElements() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl
 
getEmail() - Method in interface org.qedeq.kernel.base.module.Author
Get email address of author.
getEmail() - Method in interface org.qedeq.kernel.base.module.Header
Get email address of module administrator.
getEmail() - Method in class org.qedeq.kernel.bo.module.AuthorBo
 
getEmail() - Method in class org.qedeq.kernel.bo.module.HeaderBo
 
getEmail() - Method in class org.qedeq.kernel.dto.module.AuthorVo
 
getEmail() - Method in class org.qedeq.kernel.dto.module.HeaderVo
 
getEndLocation() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Get end location.
getErrorCode() - Method in class org.qedeq.kernel.bo.control.IllegalModuleDataException
Get error code.
getErrorCode() - Method in class org.qedeq.kernel.bo.module.IllegalDataException
Get error code.
getErrorCode() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException
Get error code.
getErrorCode() - Method in class org.qedeq.kernel.xml.parser.SyntaxException
Get error code.
getErrorPosition() - Method in class org.qedeq.kernel.xml.parser.SyntaxException
Get error position.
getExceptionList() - Method in class org.qedeq.kernel.xml.parser.SaxParser
Get errors that occurred during last parsing.
getFileName(Context) - Static method in class org.qedeq.kernel.xml.mapper.Context2XPath
Get file path out of context information.
getFileValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get File parameter value.
getFind() - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser
Get searched XPath.
getFormula() - Method in interface org.qedeq.kernel.base.module.Axiom
Get formula that is an axiom.
getFormula() - Method in interface org.qedeq.kernel.base.module.Proposition
Get formula that is a proposition.
getFormula() - Method in class org.qedeq.kernel.bo.module.AxiomBo
 
getFormula() - Method in class org.qedeq.kernel.bo.module.PropositionBo
 
getFormula() - Method in class org.qedeq.kernel.dto.module.AxiomVo
 
getFormula() - Method in class org.qedeq.kernel.dto.module.PropositionVo
 
getFormulaOrTerm() - Method in interface org.qedeq.kernel.base.module.Definition
Get formula or term that defines the object.
getFormulaOrTerm() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getFormulaOrTerm() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getFormulaOrTerm() - Method in class org.qedeq.kernel.xml.handler.module.FormulaOrTermHandler
Get parsed result.
getFreeSubjectVariables(Element) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker
Return all free subject variables of an element.
getHeader() - Method in interface org.qedeq.kernel.base.module.Qedeq
Get module header.
getHeader() - Method in class org.qedeq.kernel.bo.module.QedeqBo
 
getHeader() - Method in class org.qedeq.kernel.dto.module.QedeqVo
 
getHeader() - Method in class org.qedeq.kernel.xml.handler.module.HeaderHandler
Get header of qedeq module.
getId() - Method in interface org.qedeq.kernel.base.module.Node
Get label of node.
getId() - Method in class org.qedeq.kernel.bo.module.NodeBo
 
getId() - Method in class org.qedeq.kernel.dto.module.NodeVo
 
getImportList() - Method in interface org.qedeq.kernel.base.module.Header
Get list of needed modules.
getImportList() - Method in class org.qedeq.kernel.bo.module.HeaderBo
 
getImportList() - Method in class org.qedeq.kernel.dto.module.HeaderVo
 
getImportList() - Method in class org.qedeq.kernel.xml.handler.module.ImportListHandler
Get parsed result.
getIndex() - Method in class org.qedeq.kernel.bo.module.DuplicateLanguageEntryException
Get index of already existing language entry.
getInteger(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes
Returns the value for a key as an Integer.
getIntegerValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get Integer parameter value.
getIntroduction() - Method in interface org.qedeq.kernel.base.module.Chapter
Get chapter introduction.
getIntroduction() - Method in interface org.qedeq.kernel.base.module.Section
Get section introduction.
getIntroduction() - Method in class org.qedeq.kernel.bo.module.ChapterBo
 
getIntroduction() - Method in class org.qedeq.kernel.bo.module.SectionBo
 
getIntroduction() - Method in class org.qedeq.kernel.dto.module.ChapterVo
 
getIntroduction() - Method in class org.qedeq.kernel.dto.module.SectionVo
 
getKernelVersion() - Static method in class org.qedeq.kernel.context.KernelContext
Get version of this kernel.
getKernelVersionDirectory() - Static method in class org.qedeq.kernel.context.KernelContext
Get relative version directory of this kernel.
getKeySortedStringValues() - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes
Get the attribute values, sorted by their keys.
getLabel() - Method in interface org.qedeq.kernel.base.module.Import
Get label for the imported module.
getLabel() - Method in class org.qedeq.kernel.bo.module.ImportBo
 
getLabel() - Method in class org.qedeq.kernel.bo.module.SubsectionBo
 
getLabel() - Method in class org.qedeq.kernel.dto.module.ImportVo
 
getLabel() - Method in class org.qedeq.kernel.dto.module.SubsectionVo
 
getLabel() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get parameter label.
getLanguage() - Method in interface org.qedeq.kernel.base.module.Latex
Get language of LaTeX text.
getLanguage() - Method in class org.qedeq.kernel.bo.module.LatexBo
 
getLanguage() - Method in class org.qedeq.kernel.dto.module.LatexVo
 
getLastElement() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Get last XPath element name.
getLatex() - Method in interface org.qedeq.kernel.base.module.Latex
Get LaTeX text.
getLatex() - Method in interface org.qedeq.kernel.base.module.Subsection
Get the LaTeX text.
getLatex() - Method in class org.qedeq.kernel.bo.module.LatexBo
 
getLatex() - Method in class org.qedeq.kernel.bo.module.SubsectionBo
 
getLatex() - Method in class org.qedeq.kernel.dto.module.LatexVo
 
getLatex() - Method in class org.qedeq.kernel.dto.module.SubsectionVo
 
getLatex() - Method in class org.qedeq.kernel.xml.handler.module.LatexHandler
Get parsed result.
getLatexList() - Method in class org.qedeq.kernel.xml.handler.module.LatexListHandler
Get parsed result.
getLatexPattern() - Method in interface org.qedeq.kernel.base.module.Definition
Get LaTeX output for definition.
getLatexPattern() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getLatexPattern() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getLevel() - Method in interface org.qedeq.kernel.base.module.Node
Get level of node.
getLevel() - Method in interface org.qedeq.kernel.base.module.Subsection
Get level of subsection.
getLevel() - Method in class org.qedeq.kernel.bo.module.NodeBo
 
getLevel() - Method in class org.qedeq.kernel.bo.module.SubsectionBo
 
getLevel() - Method in class org.qedeq.kernel.dto.module.NodeVo
 
getLevel() - Method in class org.qedeq.kernel.dto.module.SubsectionVo
 
getLevel() - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler
Get current tag level.
getLevel() - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler
Get current level.
getLine() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException
Get line that is referenced by XmlFilePositionException.getContext().
getLine() - Method in class org.qedeq.kernel.utility.TextInput
Returns the current line.
getLine() - Method in class org.qedeq.kernel.xml.tracker.SourcePosition
Get line number, starting with 1.
getLineWrap() - Method in class org.qedeq.kernel.rel.test.gui.QedeqPane
Get line wrap.
getLinkList() - Method in interface org.qedeq.kernel.base.module.Rule
Get links necessary for having this rule.
getLinkList() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getLinkList() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getList() - Method in interface org.qedeq.kernel.base.elli.Element
Return this element as a Atom.
getList() - Method in class org.qedeq.kernel.dto.elli.AtomImpl
 
getList() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl
 
getLocalAddress() - Method in class org.qedeq.kernel.utility.TextInput
Get local address (or something to identify it) of input source.
getLocalAddress() - Method in class org.qedeq.kernel.xml.tracker.SourcePosition
Get local address (or something to identify it) of input source.
getLocation() - Method in interface org.qedeq.kernel.base.module.Location
Get location for a module.
getLocation() - Method in class org.qedeq.kernel.bo.module.LocationBo
 
getLocation() - Method in class org.qedeq.kernel.dto.module.LocationVo
 
getLocationList() - Method in interface org.qedeq.kernel.base.module.Specification
Get list of locations for the module.
getLocationList() - Method in class org.qedeq.kernel.bo.module.SpecificationBo
 
getLocationList() - Method in class org.qedeq.kernel.dto.module.SpecificationVo
 
getLocationWithinModule() - Method in class org.qedeq.kernel.bo.control.Context
Get location information where are we within the module.
getMaximumPosition() - Method in class org.qedeq.kernel.utility.TextInput
Returns the highest position number possible.
getMessage() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException
 
getModuleAddress() - Method in class org.qedeq.kernel.bo.module.QedeqBo
Get physical addresses of this module.
getModuleLabels() - Method in class org.qedeq.kernel.bo.module.QedeqBo
Get module label associations for this module.
getModuleLocation() - Method in class org.qedeq.kernel.bo.control.Context
Get location information about module.
getName() - Method in interface org.qedeq.kernel.base.module.Author
Get name of author.
getName() - Method in interface org.qedeq.kernel.base.module.Node
Set name of node.
getName() - Method in interface org.qedeq.kernel.base.module.Rule
Get rule name.
getName() - Method in interface org.qedeq.kernel.base.module.Specification
Get module name.
getName() - Method in class org.qedeq.kernel.bo.module.AuthorBo
 
getName() - Method in class org.qedeq.kernel.bo.module.NodeBo
 
getName() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getName() - Method in class org.qedeq.kernel.bo.module.SpecificationBo
 
getName() - Method in class org.qedeq.kernel.dto.module.AuthorVo
 
getName() - Method in class org.qedeq.kernel.dto.module.NodeVo
 
getName() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getName() - Method in class org.qedeq.kernel.dto.module.SpecificationVo
 
getName() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get parameter name.
getNoNumber() - Method in interface org.qedeq.kernel.base.module.Chapter
Get chapter numbering.
getNoNumber() - Method in interface org.qedeq.kernel.base.module.Section
Get section numbering.
getNoNumber() - Method in class org.qedeq.kernel.bo.module.ChapterBo
 
getNoNumber() - Method in class org.qedeq.kernel.bo.module.SectionBo
 
getNoNumber() - Method in class org.qedeq.kernel.dto.module.ChapterVo
 
getNoNumber() - Method in class org.qedeq.kernel.dto.module.SectionVo
 
getNode(String) - Method in class org.qedeq.kernel.bo.control.ModuleLabels
Get node for given label.
getNode() - Method in class org.qedeq.kernel.xml.handler.module.NodeHandler
Get node.
getNodeType() - Method in interface org.qedeq.kernel.base.module.Node
Get node content.
getNodeType() - Method in class org.qedeq.kernel.bo.module.NodeBo
 
getNodeType() - Method in class org.qedeq.kernel.dto.module.NodeVo
 
getNonFormalProof() - Method in interface org.qedeq.kernel.base.module.Proof
Get proof content.
getNonFormalProof() - Method in class org.qedeq.kernel.bo.module.ProofBo
 
getNonFormalProof() - Method in class org.qedeq.kernel.dto.module.ProofVo
 
getNumber() - Method in class org.qedeq.kernel.dto.elli.Enumerator
Gets current number.
getOperator() - Method in interface org.qedeq.kernel.base.elli.ElementList
Get the operator.
getOperator() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl
 
getPosition() - Method in class org.qedeq.kernel.utility.TextInput
Returns the current position.
getPrecedingText() - Method in interface org.qedeq.kernel.base.module.Node
Get text before the formula.
getPrecedingText() - Method in class org.qedeq.kernel.bo.module.NodeBo
 
getPrecedingText() - Method in class org.qedeq.kernel.dto.module.NodeVo
 
getProof() - Method in class org.qedeq.kernel.xml.handler.module.ProofHandler
Get proof.
getProofList() - Method in interface org.qedeq.kernel.base.module.Proposition
Get proofs for proposition.
getProofList() - Method in interface org.qedeq.kernel.base.module.Rule
Get proofs for rule declaration.
getProofList() - Method in class org.qedeq.kernel.bo.module.PropositionBo
 
getProofList() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getProofList() - Method in class org.qedeq.kernel.dto.module.PropositionVo
 
getProofList() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getProposition() - Method in interface org.qedeq.kernel.base.module.NodeType
Get proposition, if this is an instance of Proposition.
getProposition() - Method in class org.qedeq.kernel.bo.module.AxiomBo
 
getProposition() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getProposition() - Method in class org.qedeq.kernel.bo.module.PropositionBo
 
getProposition() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getProposition() - Method in class org.qedeq.kernel.dto.module.AxiomVo
 
getProposition() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getProposition() - Method in class org.qedeq.kernel.dto.module.PropositionVo
 
getProposition() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getProposition() - Method in class org.qedeq.kernel.xml.handler.module.PropositionHandler
Get proposition.
getQedeq() - Method in class org.qedeq.kernel.xml.handler.module.QedeqHandler
Get qedeq value object.
getQedeqCreated() - Method in class org.qedeq.kernel.bo.control.QedeqBoFactory
Get currently created qedeq module.
getQedeqOriginal() - Method in class org.qedeq.kernel.bo.control.QedeqBoFactory
Get original qedeq module.
getReferenceContext() - Method in class org.qedeq.kernel.bo.control.IllegalModuleDataException
Get additional context information about another associated location.
getReferenceContext() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException
Get additional context information about another associated location.
getRow() - Method in class org.qedeq.kernel.utility.TextInput
Returns the current line number.
getRule() - Method in interface org.qedeq.kernel.base.module.NodeType
Get rule, if this is an instance of Rule.
getRule() - Method in class org.qedeq.kernel.bo.module.AxiomBo
 
getRule() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getRule() - Method in class org.qedeq.kernel.bo.module.PropositionBo
 
getRule() - Method in class org.qedeq.kernel.bo.module.RuleBo
 
getRule() - Method in class org.qedeq.kernel.dto.module.AxiomVo
 
getRule() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getRule() - Method in class org.qedeq.kernel.dto.module.PropositionVo
 
getRule() - Method in class org.qedeq.kernel.dto.module.RuleVo
 
getRule() - Method in class org.qedeq.kernel.xml.handler.module.RuleHandler
Get Rule.
getRuleVersion() - Method in interface org.qedeq.kernel.base.module.Specification
Get rule version, that is needed to verify the module.
getRuleVersion() - Method in class org.qedeq.kernel.bo.module.SpecificationBo
 
getRuleVersion() - Method in class org.qedeq.kernel.dto.module.SpecificationVo
 
getSection() - Method in class org.qedeq.kernel.xml.handler.module.SectionHandler
Get section.
getSectionList() - Method in interface org.qedeq.kernel.base.module.Chapter
Get sections of this chapter.
getSectionList() - Method in class org.qedeq.kernel.bo.module.ChapterBo
 
getSectionList() - Method in class org.qedeq.kernel.dto.module.ChapterVo
 
getSpaces(int) - Static method in class org.qedeq.kernel.utility.IoUtility
Get amount of spaces.
getSpecification() - Method in interface org.qedeq.kernel.base.module.Header
Get module specification.
getSpecification() - Method in interface org.qedeq.kernel.base.module.Import
Get import specification.
getSpecification() - Method in class org.qedeq.kernel.bo.module.HeaderBo
 
getSpecification() - Method in class org.qedeq.kernel.bo.module.ImportBo
 
getSpecification() - Method in class org.qedeq.kernel.dto.module.HeaderVo
 
getSpecification() - Method in class org.qedeq.kernel.dto.module.ImportVo
 
getSpecification() - Method in class org.qedeq.kernel.xml.handler.module.SpecificationHandler
Get specification.
getStartLocation() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Get start location.
getStartTag() - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler
Get start tag for this handler.
getState() - Method in class org.qedeq.kernel.bo.module.QedeqBo
Get module state.
getString() - Method in interface org.qedeq.kernel.base.elli.Atom
Get the text.
getString() - Method in class org.qedeq.kernel.dto.elli.AtomImpl
 
getString(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes
Returns the value for a key.
getStringValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get parameter value as String.
getSubsection() - Method in class org.qedeq.kernel.xml.handler.module.SubsectionHandler
Get subsection.
getSubsectionList() - Method in interface org.qedeq.kernel.base.module.Section
Get all subsections of this section.
getSubsectionList() - Method in class org.qedeq.kernel.bo.module.SectionBo
 
getSubsectionList() - Method in class org.qedeq.kernel.dto.module.SectionVo
 
getSubsectionList() - Method in class org.qedeq.kernel.xml.handler.module.SubsectionListHandler
Get list of subsections.
getSucceedingText() - Method in interface org.qedeq.kernel.base.module.Node
Get text after the formula.
getSucceedingText() - Method in class org.qedeq.kernel.bo.module.NodeBo
 
getSucceedingText() - Method in class org.qedeq.kernel.dto.module.NodeVo
 
getSummary() - Method in interface org.qedeq.kernel.base.module.Header
Get module summary.
getSummary() - Method in class org.qedeq.kernel.bo.module.HeaderBo
 
getSummary() - Method in class org.qedeq.kernel.dto.module.HeaderVo
 
getText() - Method in class org.qedeq.kernel.bo.module.QedeqBoState
Get meaning of module state.
getTitle() - Method in interface org.qedeq.kernel.base.module.Chapter
Get chapter title.
getTitle() - Method in interface org.qedeq.kernel.base.module.Header
Get module title.
getTitle() - Method in interface org.qedeq.kernel.base.module.Node
Get title of subsection.
getTitle() - Method in interface org.qedeq.kernel.base.module.Section
Get section title.
getTitle() - Method in interface org.qedeq.kernel.base.module.Subsection
Get title of subsection.
getTitle() - Method in class org.qedeq.kernel.bo.module.ChapterBo
 
getTitle() - Method in class org.qedeq.kernel.bo.module.HeaderBo
 
getTitle() - Method in class org.qedeq.kernel.bo.module.NodeBo
 
getTitle() - Method in class org.qedeq.kernel.bo.module.SectionBo
 
getTitle() - Method in class org.qedeq.kernel.bo.module.SubsectionBo
 
getTitle() - Method in class org.qedeq.kernel.dto.module.ChapterVo
 
getTitle() - Method in class org.qedeq.kernel.dto.module.HeaderVo
 
getTitle() - Method in class org.qedeq.kernel.dto.module.NodeVo
 
getTitle() - Method in class org.qedeq.kernel.dto.module.SectionVo
 
getTitle() - Method in class org.qedeq.kernel.dto.module.SubsectionVo
 
getType() - Method in interface org.qedeq.kernel.base.module.Definition
Get definition type.
getType() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getType() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getType() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get parameter type.
getUsedByList() - Method in interface org.qedeq.kernel.base.module.Header
Get list of modules, that use this module.
getUsedByList() - Method in class org.qedeq.kernel.bo.module.HeaderBo
 
getUsedByList() - Method in class org.qedeq.kernel.dto.module.HeaderVo
 
getUsedByList() - Method in class org.qedeq.kernel.xml.handler.module.UsedByListHandler
Get parsed result.
getUserHomeDirectory() - Static method in class org.qedeq.kernel.utility.IoUtility
Get home directory of user.
getValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Get parameter value.
getVariableList() - Method in interface org.qedeq.kernel.base.module.Definition
Get variable list of definition arguments.
getVariableList() - Method in class org.qedeq.kernel.bo.module.DefinitionBo
 
getVariableList() - Method in class org.qedeq.kernel.dto.module.DefinitionVo
 
getVariables() - Method in class org.qedeq.kernel.xml.handler.module.VariableListHandler
Get parsed result.
getXPath(Context) - Static method in class org.qedeq.kernel.xml.mapper.Context2SimpleXPath
Transform context information into XML specific location information.
getXPath(Context) - Static method in class org.qedeq.kernel.xml.mapper.Context2XPath
Get XPath out of context information.
getXPathLocation(String, String) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationFinder
Search simple XPath within an XML file.

Hilbert II - Version 0.01.09
A C D E F G H I K L M N O P Q R S T U V W X
©left GNU General Public Licence
All Rights Reserved.