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.

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

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

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

Constructor.

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

Constructor.

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

Constructor.

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

Constructor.

DefaultModuleAddress(String, DefaultModuleAddress) - Constructor for class org.qedeq.kernel.bo.load.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.

DefaultModuleFactory - class org.qedeq.kernel.bo.load.DefaultModuleFactory.

This class provides access methods for loading QEDEQ modules.

DefaultModuleFactory(Kernel) - Constructor for class org.qedeq.kernel.bo.load.DefaultModuleFactory

Constructor.

DefaultModuleProperties - class org.qedeq.kernel.bo.load.DefaultModuleProperties.

Represents a module and its states.

DefaultModuleProperties(ModuleAddress) - Constructor for class org.qedeq.kernel.bo.load.DefaultModuleProperties

Creates new module properties.

DefaultQedeqBo - class org.qedeq.kernel.bo.load.DefaultQedeqBo.

A complete QEDEQ module.

DefaultQedeqBo() - Constructor for class org.qedeq.kernel.bo.load.DefaultQedeqBo

Constructs a new empty QEDEQ module.

DefaultSourceFileExceptionList - exception org.qedeq.kernel.xml.parser.DefaultSourceFileExceptionList.

Type save SourceFileException list.

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

Constructor.

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

Constructor.

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

Constructor.

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

Constructor.

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

Constructor.

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

Represents a mathematical module state.

DependencyStateDescriptions - interface org.qedeq.kernel.bo.module.DependencyStateDescriptions.

This interface provides constants of this package.

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

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