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

T

TITLE_TAG - Static variable in class org.qedeq.kernel.xml.handler.module.SectionHandler

Tag for title part.

Term - interface org.qedeq.kernel.base.module.Term.

Wraps a term.

Term - class org.qedeq.kernel.parser.Term.

Parsed term.

Term(TermAtom) - Constructor for class org.qedeq.kernel.parser.Term

Constructor.

Term(Operator) - Constructor for class org.qedeq.kernel.parser.Term

Constructor.

Term(Operator, Term) - Constructor for class org.qedeq.kernel.parser.Term

Constructor.

TermAtom - class org.qedeq.kernel.parser.TermAtom.

Parsed atom, this is a term constant, or an formula constant.

TermAtom(String) - Constructor for class org.qedeq.kernel.parser.TermAtom

Constructor.

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

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

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

Constructs an exception.

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

Constructs an exception.

TermHandler - class org.qedeq.kernel.xml.handler.module.TermHandler.

Parse term.

TermHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.TermHandler

Handles terms.

TermVo - class org.qedeq.kernel.dto.module.TermVo.

Wraps a fterm.

TermVo(Element) - Constructor for class org.qedeq.kernel.dto.module.TermVo

Constructs a term.

TermVo() - Constructor for class org.qedeq.kernel.dto.module.TermVo

Empty constructor.

TextInput - class org.qedeq.kernel.utility.TextInput.

This class provides convenient methods for parsing input.

TextInput(Reader) - Constructor for class org.qedeq.kernel.utility.TextInput

Constructor using Reader source.

TextInput(StringBuffer) - Constructor for class org.qedeq.kernel.utility.TextInput

Constructor using StringBuffer source.

TextInput(String) - Constructor for class org.qedeq.kernel.utility.TextInput

Constructor using String source.

TextInput(File, String) - Constructor for class org.qedeq.kernel.utility.TextInput

Constructor using FILE source.

TextOutput - class org.qedeq.kernel.utility.TextOutput.

Wraps a text output stream.

TextOutput(String, OutputStream) - Constructor for class org.qedeq.kernel.utility.TextOutput

Constructor.

TooFewArgumentsException - exception org.qedeq.kernel.parser.TooFewArgumentsException.

To few arguments.

TooFewArgumentsException(long, int) - Constructor for class org.qedeq.kernel.parser.TooFewArgumentsException

Constructor.

TooMuchArgumentsException - exception org.qedeq.kernel.parser.TooMuchArgumentsException.

There are too much arguments.

TooMuchArgumentsException(long, Operator, int) - Constructor for class org.qedeq.kernel.parser.TooMuchArgumentsException

Constructor.

Trace - class org.qedeq.kernel.trace.Trace.

Developer trace.

toArray() - Method in class org.qedeq.kernel.common.DefaultSourceFileExceptionList

Get all exceptions.

toArray() - Method in class org.qedeq.kernel.common.SourceFileExceptionList

Get all exceptions.

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

Get show this in String form.

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

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

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

toString() - Method in class org.qedeq.kernel.bo.logic.EqualFormula

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

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

toString() - Method in class org.qedeq.kernel.bo.logic.LogicalCheckException

Returns a short description of this throwable.

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

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

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

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

toString() - Method in class org.qedeq.kernel.common.ModuleContext

toString() - Method in class org.qedeq.kernel.common.SourceArea

toString() - Method in class org.qedeq.kernel.common.SourceFileException

toString() - Method in class org.qedeq.kernel.common.SourcePosition

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

toString() - Method in class org.qedeq.kernel.parser.Operator

toString() - Method in class org.qedeq.kernel.utility.Enumerator

Return number in String format.

toString() - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes

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

toUrl(File) - Static method in class org.qedeq.kernel.utility.IoUtility

Convert file in URL.

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

Trace object.

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

Trace object.

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

Trace throwable.

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

Trace throwable.

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

Trace throwable and extra description.

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

Trace throwable and extra description.

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

Write stacktrace into trace.

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

Write stacktrace into trace.

transform(String) - Static method in class org.qedeq.kernel.latex.LatexTextParser

Parse LaTeX text into QEDEQ module string.

traverse() - Method in class org.qedeq.kernel.bo.control.ControlVisitor

Start traverse of QedeqBo.

traverse() - Method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker