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.

Atom - class org.qedeq.kernel.parser.Atom.

Parsed atom, this is a term constant, or an formula constant.

Atom(String) - Constructor for class org.qedeq.kernel.parser.Atom

Constructor.

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

An object of this class represents a text string.

AtomImpl(String) - Constructor for class org.qedeq.kernel.dto.list.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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Start with the top structure of a QEDEQ module.

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

Traverse header.

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

Traverse used by list.

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

Traverse import list.

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

Traverse import.

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

Traverse specification.

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

Traverse location list.

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

Traverse location.

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

Traverse author list.

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

Traverse author.

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

Traverse chapter list.

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

Traverse chapter.

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

Traverse literature item list.

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

Traverse literature item.

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

Traverse section list.

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

Traverse section.

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

Traverse subsection list.

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

Traverse subsection list.

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

Traverse node.

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

Traverse axiom.

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

Traverse predicate definition.

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

Traverse function definition.

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

Traverse proposition.

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

Traverse rule.

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

Traverse link list.

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

Traverse variable list.

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

Traverse proof list.

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

Traverse proof.

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

Traverse formula.

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

Traverse term.

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

Traverse latex list.

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

Traverse latex.

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

Traverse element.

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

Traverse atom.

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

Traverse element list.

add(Element) - Method in interface org.qedeq.kernel.base.list.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(Element) - Method in class org.qedeq.kernel.dto.list.ElementListImpl

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

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

Add next argument term to operator.

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

Add chapter to this module.

addChapter(ChapterVo) - 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.dto.module.RuleVo

Add link for this rule.

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

Add node with certain id.

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.

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

Add section to list.