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

E

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

Error code.

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

Error message.

EMPTY_ATTRIBUTE_CODE - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

Error code for empty attribute.

EMPTY_ATTRIBUTE_TEXT_1 - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

Missing attribute text.

EMPTY_ATTRIBUTE_TEXT_2 - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

Missing attribute, part two.

EOF - Static variable in class org.qedeq.kernel.utility.TextInput

Char marking end of data.

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

Error code.

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

Error message.

EQUIVALENCE_OPERATOR - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for logical equivalence.

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

Error code.

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

Error message.

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

Error code.

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

Error message.

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

Error code.

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

Error message.

EXISTENTIAL_QUANTIFIER_OPERATOR - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for logical "exists" operator.

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

An element is either a list or an atom.

Element2Latex - class org.qedeq.kernel.latex.Element2Latex.

Transfer a QEDEQ formulas into LaTeX text.

Element2Latex(ModuleReferenceList) - Constructor for class org.qedeq.kernel.latex.Element2Latex

Constructor.

Element2Latex.BinaryLogical - class org.qedeq.kernel.latex.Element2Latex.BinaryLogical.

Transformer for a binary logical operator written in infix notation.

Element2Latex.BinaryLogical(String) - Constructor for class org.qedeq.kernel.latex.Element2Latex.BinaryLogical

Constructor.

Element2Latex.Class - class org.qedeq.kernel.latex.Element2Latex.Class.

Transformer for a class operator.

Element2Latex.Class() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Class

Element2Latex.Classlist - class org.qedeq.kernel.latex.Element2Latex.Classlist.

Transformer for class list operator.

Element2Latex.Classlist() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Classlist

Element2Latex.Funcon - class org.qedeq.kernel.latex.Element2Latex.Funcon.

Transformer for a function constant.

Element2Latex.Funcon() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Funcon

Element2Latex.Funvar - class org.qedeq.kernel.latex.Element2Latex.Funvar.

Transformer for a function variable.

Element2Latex.Funvar() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Funvar

Element2Latex.ListType - interface org.qedeq.kernel.latex.Element2Latex.ListType.

Describes the interface for an ElementList to LaTeX converter.

Element2Latex.Not - class org.qedeq.kernel.latex.Element2Latex.Not.

Transformer for negation.

Element2Latex.Not() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Not

Element2Latex.Predcon - class org.qedeq.kernel.latex.Element2Latex.Predcon.

Transformer for a predicate constant.

Element2Latex.Predcon() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Predcon

Element2Latex.Predvar - class org.qedeq.kernel.latex.Element2Latex.Predvar.

Transformer for a predicate variable.

Element2Latex.Predvar() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Predvar

Element2Latex.Quantifier - class org.qedeq.kernel.latex.Element2Latex.Quantifier.

Transformer for a quantifier operator.

Element2Latex.Quantifier(String) - Constructor for class org.qedeq.kernel.latex.Element2Latex.Quantifier

Constructor.

Element2Latex.QuantorIntersection - class org.qedeq.kernel.latex.Element2Latex.QuantorIntersection.

Transformer for a quantifier intersection.

Element2Latex.QuantorIntersection() - Constructor for class org.qedeq.kernel.latex.Element2Latex.QuantorIntersection

Element2Latex.QuantorUnion - class org.qedeq.kernel.latex.Element2Latex.QuantorUnion.

LATER mime 20080126: needed?

Element2Latex.QuantorUnion() - Constructor for class org.qedeq.kernel.latex.Element2Latex.QuantorUnion

Element2Latex.Unknown - class org.qedeq.kernel.latex.Element2Latex.Unknown.

LATER mime 20080126: needed?

Element2Latex.Unknown() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Unknown

Element2Latex.Var - class org.qedeq.kernel.latex.Element2Latex.Var.

Transformer for a subject variable.

Element2Latex.Var() - Constructor for class org.qedeq.kernel.latex.Element2Latex.Var

ElementCheckException - exception org.qedeq.kernel.bo.logic.ElementCheckException.

This is an exception for logical errors within a QEDEQ module.

ElementCheckException(int, String, Element, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.ElementCheckException

Constructs an exception.

ElementCheckException(int, String, Element, ModuleContext) - Constructor for class org.qedeq.kernel.bo.logic.ElementCheckException

Constructs an exception.

ElementHandler - class org.qedeq.kernel.xml.handler.list.ElementHandler.

Parse elements.

ElementHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.list.ElementHandler

Deals with elements.

ElementHandler(SaxDefaultHandler) - Constructor for class org.qedeq.kernel.xml.handler.list.ElementHandler

Deals with elements.

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

Every Operator must implement this interface.

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

This class represents a set of Elements.

ElementSet() - Constructor for class org.qedeq.kernel.dto.list.ElementSet

Constructs an empty element set.

ElementSet(Element[]) - Constructor for class org.qedeq.kernel.dto.list.ElementSet

Constructs an element set.

ElementSet(ElementSet) - Constructor for class org.qedeq.kernel.dto.list.ElementSet

Constructs an element set.

ElementSet(ElementList) - Constructor for class org.qedeq.kernel.dto.list.ElementSet

Constructs an element set from all operands of an element.

EndSymbolNotFoundException - exception org.qedeq.kernel.parser.EndSymbolNotFoundException.

Expected end symbol of expression not found.

EndSymbolNotFoundException(long, String) - Constructor for class org.qedeq.kernel.parser.EndSymbolNotFoundException

Constructor.

Enumerator - class org.qedeq.kernel.utility.Enumerator.

An object of this class represents a number, that could be compared and increased.

Enumerator() - Constructor for class org.qedeq.kernel.utility.Enumerator

Constructs an object.

Enumerator(int) - Constructor for class org.qedeq.kernel.utility.Enumerator

Constructs an object with given start number.

EqualFormula - class org.qedeq.kernel.bo.logic.EqualFormula.

Encapsulates a logical formula.

EqualFormula(Element) - Constructor for class org.qedeq.kernel.bo.logic.EqualFormula

Constructor.

EqualFormulaSet - class org.qedeq.kernel.bo.logic.EqualFormulaSet.

This class represents a set of Elements.

EqualFormulaSet() - Constructor for class org.qedeq.kernel.bo.logic.EqualFormulaSet

Constructs an empty element set.

EqualFormulaSet(EqualFormula[]) - Constructor for class org.qedeq.kernel.bo.logic.EqualFormulaSet

Constructs an element set.

EqualFormulaSet(EqualFormulaSet) - Constructor for class org.qedeq.kernel.bo.logic.EqualFormulaSet

Constructs an equal formulas set.

EqualFormulaSet(ElementList) - Constructor for class org.qedeq.kernel.bo.logic.EqualFormulaSet

Constructs an element set from all operands of an element.

EqualityOperatorExistenceChecker - interface org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker.

Check if the predicate for equality is already defined.

EqualsUtility - class org.qedeq.kernel.utility.EqualsUtility.

A collection of useful static methods for equality.

EverythingExists - class org.qedeq.kernel.bo.logic.EverythingExists.

This implementation gives always the answer true to the question exists this predicate?

ExistenceChecker - interface org.qedeq.kernel.bo.logic.ExistenceChecker.

Check if operators are already defined.

end(Class, Object, String) - Static method in class org.qedeq.kernel.trace.Trace

Trace method end.

end(Class, String) - Static method in class org.qedeq.kernel.trace.Trace

Trace method end.

endDocument() - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

endDocument() - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

endElement(String) - Method in class org.qedeq.kernel.xml.handler.list.ElementHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.AuthorHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.AuthorListHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.AxiomHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.ChapterHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.FormulaHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.HeaderHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.ImportListHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.LatexHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.LatexListHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.LiteratureItemHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.NodeHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.ProofHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.PropositionHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.QedeqHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.RuleHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.SectionHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.SpecificationHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.SubsectionHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.SubsectionListHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.TermHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.UsedByListHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.module.VariableListHandler

endElement(String) - Method in class org.qedeq.kernel.xml.handler.parser.ParserHandler

endElement(String) - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Called at end of element elementName.

endElement(String, String, String) - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

endElement(String, String, String) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

endPrefixMapping(String) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

eof() - Method in class org.qedeq.kernel.latex.LatexTextParser

Are there still any characters to read?

eof() - Method in class org.qedeq.kernel.parser.MathParser

Are there still any characters to read?

eof() - Method in class org.qedeq.kernel.parser.MementoTextInput

Are there still any characters to read?

eot(String) - Method in class org.qedeq.kernel.parser.AsciiMathParser

eot(String) - Method in class org.qedeq.kernel.parser.LatexMathParser

eot(String) - Method in class org.qedeq.kernel.parser.MathParser

Is this an end of term token?

eot(String) - Method in class org.qedeq.kernel.parser.SimpleMathParser

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

equalityOperatorExists() - Method in interface org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker

Check if the equality operator is already defined.

equalityOperatorExists() - Method in class org.qedeq.kernel.bo.logic.EverythingExists

equals(Object) - Method in interface org.qedeq.kernel.base.list.Element

Is this object equal to the given one?

equals(Object) - Method in class org.qedeq.kernel.bo.control.DefaultModuleAddress

equals(Object) - Method in class org.qedeq.kernel.bo.control.KernelModuleReferenceList

equals(Object) - Method in class org.qedeq.kernel.bo.control.KernelQedeqBo

equals(Object) - Method in class org.qedeq.kernel.bo.logic.EqualFormulaSet

equals(Object) - Method in class org.qedeq.kernel.bo.logic.Function

equals(Object) - Method in class org.qedeq.kernel.bo.logic.Predicate

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

equals(Object) - Method in class org.qedeq.kernel.common.LoadingState

equals(Object) - Method in class org.qedeq.kernel.common.LogicalState

equals(Object) - Method in class org.qedeq.kernel.dto.list.DefaultAtom

equals(Object) - Method in class org.qedeq.kernel.dto.list.DefaultElementList

equals(Object) - Method in class org.qedeq.kernel.dto.list.ElementSet

equals(Object) - Method in class org.qedeq.kernel.dto.module.AuthorListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.AuthorVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.AxiomVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.ChapterListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.ChapterVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.FormulaVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.HeaderVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.ImportListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.ImportVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.LatexListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.LatexVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.LinkListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.LiteratureItemListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.LiteratureItemVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.LocationListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.LocationVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.NodeVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.ProofListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.ProofVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.PropositionVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.QedeqVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.RuleVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.SectionListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.SectionVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.SpecificationVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.SubsectionListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.SubsectionVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.TermVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.UsedByListVo

equals(Object) - Method in class org.qedeq.kernel.dto.module.VariableListVo

equals(Object, Object) - Static method in class org.qedeq.kernel.utility.EqualsUtility

Compare two objects, each of them could be null.

equals(Object) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

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

Are the elements and occurrences of this and another element equal?

error(SAXParseException) - Method in class org.qedeq.kernel.xml.parser.SaxErrorHandler

escapeProperty(String) - Static method in class org.qedeq.kernel.utility.StringUtility

Return a String like it appears in an property file.