Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Hilbert II - Version 0.03.04
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
DefaultXmlFileExceptionList
- exception org.qedeq.kernel.xml.parser.
DefaultXmlFileExceptionList
.
Type save
XmlFileException
list.
DefaultXmlFileExceptionList()
- Constructor for class org.qedeq.kernel.xml.parser.
DefaultXmlFileExceptionList
Constructor.
DefaultXmlFileExceptionList(IOException)
- Constructor for class org.qedeq.kernel.xml.parser.
DefaultXmlFileExceptionList
Constructor.
DefaultXmlFileExceptionList(RuntimeException)
- Constructor for class org.qedeq.kernel.xml.parser.
DefaultXmlFileExceptionList
Constructor.
DefaultXmlFileExceptionList(SyntaxExceptionList)
- Constructor for class org.qedeq.kernel.xml.parser.
DefaultXmlFileExceptionList
Constructor.
deleteDir(File)
- 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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Hilbert II - Version 0.03.04
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
©left GNU General Public Licence
All Rights Reserved.