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.

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.

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.

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

Every Operator must inherit from this class.

ElementListImpl(String, Element[]) - Constructor for class org.qedeq.kernel.dto.list.ElementListImpl

Constructs a element list.

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.dto.list.Enumerator.

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

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

Constructs an object.

Enumerator(int) - Constructor for class org.qedeq.kernel.dto.list.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?

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

Type save Exception list.

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

Constructor.

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

Check if operators are already defined.

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

Trace method end.

end(Class, String) - Static method in class org.qedeq.kernel.log.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.control.QedeqBoFormalLogicChecker

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.logic.EqualFormulaSet

equals(Object) - Method in class org.qedeq.kernel.bo.module.QedeqBo

equals(Object) - Method in class org.qedeq.kernel.bo.module.QedeqBoState

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

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

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