A B C D E F G H I K L M N O P Q R S T U V W X

A

ATOM_CONTENT_MUST_NOT_BE_EMPTY - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message: first argument must be an atom.

ATOM_CONTENT_MUST_NOT_BE_NULL - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

ATOM_MUST_NOT_BE_NULL - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

ATOM_MUST_NOT_BE_NULL_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

AT_LEAST_ONE_ARGUMENT_EXPECTED - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

AbstractModuleVisitor - class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor.

Basic visitor that makes nothing.

AbstractModuleVisitor() - Constructor for class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor

AbstractSimpleHandler - class org.qedeq.kernel.xml.parser.AbstractSimpleHandler.

Simple handler that gets SAX parser events.

AbstractSimpleHandler(SaxDefaultHandler, String) - Constructor for class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Constructor.

AbstractSimpleHandler(SaxDefaultHandler) - Constructor for class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Constructor.

AbstractSimpleHandler(AbstractSimpleHandler, String) - Constructor for class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Constructor, should be used for creating handlers within handlers.

AbstractSimpleHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Constructor, should be used for creating handlers within handlers.

AsciiMathParser - class org.qedeq.kernel.parser.AsciiMathParser.

Parse term or formula data into Terms.

AsciiMathParser(TextInput, List) - Constructor for class org.qedeq.kernel.parser.AsciiMathParser

Constructor.

Atom - interface org.qedeq.kernel.base.list.Atom.

Element atom.

Author - interface org.qedeq.kernel.base.module.Author.

Describes a QEDEQ module author.

AuthorHandler - class org.qedeq.kernel.xml.handler.module.AuthorHandler.

Parse author list.

AuthorHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.AuthorHandler

Handles list of authors.

AuthorList - interface org.qedeq.kernel.base.module.AuthorList.

List of authors.

AuthorListHandler - class org.qedeq.kernel.xml.handler.module.AuthorListHandler.

Parse author list.

AuthorListHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.AuthorListHandler

Handles list of authors.

AuthorListVo - class org.qedeq.kernel.dto.module.AuthorListVo.

List of authors.

AuthorListVo() - Constructor for class org.qedeq.kernel.dto.module.AuthorListVo

Constructs an empty list of authors.

AuthorVo - class org.qedeq.kernel.dto.module.AuthorVo.

Describes a QEDEQ module author.

AuthorVo(LatexVo, String) - Constructor for class org.qedeq.kernel.dto.module.AuthorVo

Constructs an author.

AuthorVo() - Constructor for class org.qedeq.kernel.dto.module.AuthorVo

Constructs an empty author.

Axiom - interface org.qedeq.kernel.base.module.Axiom.

Axiom.

AxiomHandler - class org.qedeq.kernel.xml.handler.module.AxiomHandler.

Parse an axiom.

AxiomHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.AxiomHandler

Deals with axioms.

AxiomVo - class org.qedeq.kernel.dto.module.AxiomVo.

Axiom.

AxiomVo() - Constructor for class org.qedeq.kernel.dto.module.AxiomVo

Constructs a new axiom.

accept(Qedeq) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Header) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(UsedByList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(ImportList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Import) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Specification) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(LocationList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Location) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(AuthorList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Author) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(ChapterList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Chapter) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(LiteratureItemList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(LiteratureItem) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(SectionList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Section) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(SubsectionList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Subsection) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Node) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Axiom) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(PredicateDefinition) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(FunctionDefinition) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Proposition) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Rule) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(LinkList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(VariableList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(ProofList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Proof) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Formula) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Term) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Element) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Atom) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(ElementList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(LatexList) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Latex) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

accept(Qedeq) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Start with the top structure of a QEDEQ module.

accept(Header) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse header.

accept(UsedByList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse used by list.

accept(ImportList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse import list.

accept(Import) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse import.

accept(Specification) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse specification.

accept(LocationList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse location list.

accept(Location) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse location.

accept(AuthorList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse author list.

accept(Author) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse author.

accept(ChapterList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse chapter list.

accept(Chapter) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse chapter.

accept(LiteratureItemList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse literature item list.

accept(LiteratureItem) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse literature item.

accept(SectionList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse section list.

accept(Section) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse section.

accept(SubsectionList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse subsection list.

accept(Subsection) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse subsection list.

accept(Node) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse node.

accept(Axiom) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse axiom.

accept(PredicateDefinition) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse predicate definition.

accept(FunctionDefinition) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse function definition.

accept(Proposition) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse proposition.

accept(Rule) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse rule.

accept(LinkList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse link list.

accept(VariableList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse variable list.

accept(ProofList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse proof list.

accept(Proof) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse proof.

accept(Formula) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse formula.

accept(Term) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse term.

accept(LatexList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse latex list.

accept(Latex) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse latex.

accept(Element) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse element.

accept(Atom) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse atom.

accept(ElementList) - Method in interface org.qedeq.kernel.bo.visitor.QedeqTraverser

Traverse element list.

add(Element) - Method in interface org.qedeq.kernel.base.list.ElementList

Adds an element to end of list.

add(ModuleContext, String, QedeqBo) - Method in class org.qedeq.kernel.bo.control.KernelModuleReferenceList

Add module reference to list.

add(PredicateDefinition) - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Add unknown predicate constant definition.

add(FunctionDefinition) - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Add unknown function constant definition.

add(EqualFormula) - Method in class org.qedeq.kernel.bo.logic.EqualFormulaSet

Add a formula to set.

add(SourceFileException) - Method in class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Add exception.

add(SAXException) - Method in class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Add exception.

add(IOException) - Method in class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Add exception.

add(ParserConfigurationException) - Method in class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Add exception.

add(RuntimeException) - Method in class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Add exception.

add(Element) - Method in class org.qedeq.kernel.dto.list.DefaultElementList

add(Element) - Method in class org.qedeq.kernel.dto.list.ElementSet

Add an element to set.

add(AuthorVo) - Method in class org.qedeq.kernel.dto.module.AuthorListVo

Add author to list.

add(ChapterVo) - Method in class org.qedeq.kernel.dto.module.ChapterListVo

Add chapter to list.

add(ImportVo) - Method in class org.qedeq.kernel.dto.module.ImportListVo

Add import module description.

add(LatexVo) - Method in class org.qedeq.kernel.dto.module.LatexListVo

Add language dependent LaTeX text to list.

add(String) - Method in class org.qedeq.kernel.dto.module.LinkListVo

Add link to list.

add(LiteratureItemVo) - Method in class org.qedeq.kernel.dto.module.LiteratureItemListVo

Add literature reference to list.

add(LocationVo) - Method in class org.qedeq.kernel.dto.module.LocationListVo

Add location to list.

add(ProofVo) - Method in class org.qedeq.kernel.dto.module.ProofListVo

Add proof to this list.

add(SectionVo) - Method in class org.qedeq.kernel.dto.module.SectionListVo

Add section to this list.

add(SubsectionType) - Method in class org.qedeq.kernel.dto.module.SubsectionListVo

Add subsection to this list.

add(SpecificationVo) - Method in class org.qedeq.kernel.dto.module.UsedByListVo

Add specification of module.

add(Element) - Method in class org.qedeq.kernel.dto.module.VariableListVo

Add variable to list.

add(String, String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes

Adds a key value pair.

addArgument(Term) - Method in class org.qedeq.kernel.parser.Term

Add next argument term to operator.

addChapter(ChapterVo) - Method in class org.qedeq.kernel.dto.module.QedeqVo

Add chapter to this module.

addDependent(URL) - Method in interface org.qedeq.kernel.common.ModuleDependencies

Add another QEDEQ module which uses this one.

addElement(String) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Add new element to end of XPath.

addElement(String, int) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Add new element to end of XPath.

addFunction(FunctionDefinition) - Method in class org.qedeq.kernel.latex.Element2Latex

Add function definition.

addLabel(ModuleContext, String) - Method in class org.qedeq.kernel.common.ModuleLabels

Add unique label for module.

addLabelUnique(ModuleContext, String, QedeqBo) - Method in class org.qedeq.kernel.bo.control.KernelModuleReferenceList

Add module reference to list.

addLink(String) - Method in class org.qedeq.kernel.dto.module.RuleVo

Add link for this rule.

addLog(ModuleEventListener) - Method in class org.qedeq.kernel.log.ModuleEventLog

Add listener.

addLog(PrintStream) - Method in class org.qedeq.kernel.log.ModuleEventLog

Add stream listener.

addLog(LogListener) - Method in class org.qedeq.kernel.log.QedeqLog

Add listener.

addModule(QedeqBo) - Method in class org.qedeq.kernel.log.DefaultModuleEventListener

addModule(QedeqBo) - Method in interface org.qedeq.kernel.log.ModuleEventListener

Add module.

addModule(QedeqBo) - Method in class org.qedeq.kernel.log.ModuleEventListenerLog

addModule(QedeqBo) - Method in class org.qedeq.kernel.log.ModuleEventLog

addModuleDataException(ModuleDataException) - Method in class org.qedeq.kernel.bo.control.ControlVisitor

Add exception to error collection.

addNode(ModuleContext, NodeVo) - Method in class org.qedeq.kernel.common.ModuleLabels

Add node with certain id.

addPredicate(PredicateDefinition) - Method in class org.qedeq.kernel.latex.Element2Latex

Add predicate definition.

addProof(ProofVo) - Method in class org.qedeq.kernel.dto.module.PropositionVo

Add proof to this list.

addProof(ProofVo) - Method in class org.qedeq.kernel.dto.module.RuleVo

Add proof to this list.

addRequired(URL, String) - Method in interface org.qedeq.kernel.common.ModuleDependencies

Add another required QEDEQ module.

addSection(SectionVo) - Method in class org.qedeq.kernel.dto.module.ChapterVo

Add section to list.

addSourceFileException(SourceFileException) - Method in class org.qedeq.kernel.bo.control.ControlVisitor

Add exception to error collection.

areAllRequiredLoaded() - Method in class org.qedeq.kernel.common.DependencyState

Are all required modules loaded?

autoReloadLastSessionChecked() - Method in class org.qedeq.kernel.bo.control.DefaultInternalKernelServices

If configured load all QEDEQ modules that where successfully loaded the last time.