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

A

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

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

Element atom.

AtomImpl - class org.qedeq.kernel.dto.elli.AtomImpl.

An object of this class represents a text string.

AtomImpl(String) - Constructor for class org.qedeq.kernel.dto.elli.AtomImpl

Constructs an Atom.

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

Describes a specification of a module, that means its name, versions and possible "physical" locations.

AuthorBo - class org.qedeq.kernel.bo.module.AuthorBo.

Describes a specification of a module, that means its name, versions and possible "physical" locations.

AuthorBo(Latex, String) - Constructor for class org.qedeq.kernel.bo.module.AuthorBo

Constructs an author.

AuthorBo() - Constructor for class org.qedeq.kernel.bo.module.AuthorBo

Constructs an empty 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.

AuthorListBo - class org.qedeq.kernel.bo.module.AuthorListBo.

List of authors.

AuthorListBo() - Constructor for class org.qedeq.kernel.bo.module.AuthorListBo

Constructs an empty 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 specification of a module, that means its name, versions and possible "physical" locations.

AuthorVo(Latex, 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.

AxiomBo - class org.qedeq.kernel.bo.module.AxiomBo.

Axiom.

AxiomBo() - Constructor for class org.qedeq.kernel.bo.module.AxiomBo

Constructs a new 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(Visitor) - Method in interface org.qedeq.kernel.base.elli.Visitable

The accept() method of an element class calls back the visit() method for its class.

accept(Visitor) - Method in class org.qedeq.kernel.dto.elli.AtomImpl

accept(Visitor) - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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

Adds an element to end of list.

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

Add a formula to set.

add(Author) - Method in class org.qedeq.kernel.bo.module.AuthorListBo

Add an author to list.

add(Chapter) - Method in class org.qedeq.kernel.bo.module.ChapterListBo

Add an chapter to this list.

add(Import) - Method in class org.qedeq.kernel.bo.module.ImportListBo

Add import module to this list.

add(Latex) - Method in class org.qedeq.kernel.bo.module.LatexListBo

Add LaTeX text to this list.

add(String) - Method in class org.qedeq.kernel.bo.module.LinkListBo

Add link to list.

add(Location) - Method in class org.qedeq.kernel.bo.module.LocationListBo

Add location to this list.

add(Proof) - Method in class org.qedeq.kernel.bo.module.ProofListBo

Add proof to this list.

add(Section) - Method in class org.qedeq.kernel.bo.module.SectionListBo

Add section to this list.

add(SubsectionType) - Method in class org.qedeq.kernel.bo.module.SubsectionListBo

Add subsection to this list.

add(Specification) - Method in class org.qedeq.kernel.bo.module.UsedByListBo

Add specification to this list.

add(Element) - Method in class org.qedeq.kernel.bo.module.VariableListBo

Add variable to this list.

add(Element) - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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

Add an element to set.

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

Add author to list.

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

Add chapter to list.

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

Add import module description.

add(Latex) - 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(Location) - Method in class org.qedeq.kernel.dto.module.LocationListVo

Add location to list.

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

Add proof to this list.

add(Section) - 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(Specification) - 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(Parameter) - Method in class org.qedeq.kernel.rel.test.gui.ParameterList

Add parameter to list.

add(Exception) - Method in class org.qedeq.kernel.xml.parser.ExceptionList

Add Exception.

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

Adds a key value pair.

addChapter(Chapter) - Method in class org.qedeq.kernel.bo.module.QedeqBo

Add chapter to this module.

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

Add chapter to this module.

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.

addLink(String) - Method in class org.qedeq.kernel.bo.module.RuleBo

Add link for this rule.

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

Add link for this rule.

addNode(Context, NodeBo) - Method in class org.qedeq.kernel.bo.control.ModuleLabels

Add node with certain id.

addProof(Proof) - Method in class org.qedeq.kernel.bo.module.PropositionBo

Add proof for this proposition.

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

Add proof to this list.

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

Add proof to this list.

addSection(Section) - Method in class org.qedeq.kernel.bo.module.ChapterBo

Add section to list.

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

Add section to list.

addSubsection(SubsectionType) - Method in class org.qedeq.kernel.bo.module.SectionBo

Add subsection to this list.