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

D

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

Operator string for logical "or".

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

An object of this class represents a text string.

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

Constructs an Atom.

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

Every Operator must inherit from this class.

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

Constructs a element list.

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

Checks if all predicate and function constants exist already.

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

Constructor.

DefaultInternalKernelServices - class org.qedeq.kernel.bo.control.DefaultInternalKernelServices.

This class provides access methods for loading QEDEQ modules.

DefaultInternalKernelServices(KernelProperties, ModuleLoader) - Constructor for class org.qedeq.kernel.bo.control.DefaultInternalKernelServices

Constructor.

DefaultModuleAddress - class org.qedeq.kernel.bo.control.DefaultModuleAddress.

An object of this class represents an address for a QEDEQ module.

DefaultModuleAddress(String) - Constructor for class org.qedeq.kernel.bo.control.DefaultModuleAddress

Constructor.

DefaultModuleAddress(URL) - Constructor for class org.qedeq.kernel.bo.control.DefaultModuleAddress

Constructor.

DefaultModuleAddress(File) - Constructor for class org.qedeq.kernel.bo.control.DefaultModuleAddress

Constructor.

DefaultModuleAddress(String, ModuleAddress) - Constructor for class org.qedeq.kernel.bo.control.DefaultModuleAddress

Constructor.

DefaultModuleEventListener - class org.qedeq.kernel.log.DefaultModuleEventListener.

Listener that writes events to a stream.

DefaultModuleEventListener() - Constructor for class org.qedeq.kernel.log.DefaultModuleEventListener

Constructor.

DefaultModuleEventListener(PrintStream) - Constructor for class org.qedeq.kernel.log.DefaultModuleEventListener

Constructor.

DefaultSourceFileExceptionList - exception org.qedeq.kernel.common.DefaultSourceFileExceptionList.

Type save SourceFileException list.

DefaultSourceFileExceptionList() - Constructor for class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Constructor.

DefaultSourceFileExceptionList(IOException) - Constructor for class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Constructor.

DefaultSourceFileExceptionList(SAXException) - Constructor for class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Constructor.

DefaultSourceFileExceptionList(RuntimeException) - Constructor for class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Constructor.

DefaultSourceFileExceptionList(Throwable) - Constructor for class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Constructor.

DefaultSourceFileExceptionList(Exception) - Constructor for class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Constructor.

DefaultSourceFileExceptionList(SourceFileException) - Constructor for class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Constructor.

DependencyState - class org.qedeq.kernel.common.DependencyState.

Represents a mathematical module state.

DependencyStateDescriptions - interface org.qedeq.kernel.common.DependencyStateDescriptions.

This interface provides constants of this package.

decodeXmlMarkup(StringBuffer) - Static method in class org.qedeq.kernel.utility.StringUtility

Return a String without XML specific encoding.

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

Delete QEDEQ module.

delete() - Method in class org.qedeq.kernel.bo.control.StateManager

Delete QEDEQ module.

deleteDir(File, boolean) - Static method in class org.qedeq.kernel.utility.IoUtility

Delete file directory recursive.

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

Delete last XPath element if any.

deleteLineLeadingWhitespace(StringBuffer) - Static method in class org.qedeq.kernel.utility.StringUtility

Search for first line followed by whitespace and delete this string within the whole text.