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

O

OPERATOR_CONTENT_MUST_NOT_BE_EMPTY - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message: first argument must be an atom.

OPERATOR_CONTENT_MUST_NOT_BE_NULL - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

Operator - class org.qedeq.kernel.parser.Operator.

This class describes an term or logical operator.

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

Constructor.

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

Constructor.

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

Constructor for prefix operators like {x | x > 0}.

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

Constructor for prefix operators like {x, y, z}.

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

Constructor.

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

Logical and term operators.

org.qedeq.kernel.base.list - package org.qedeq.kernel.base.list

Descriptions of element list functionalites.

org.qedeq.kernel.base.module - package org.qedeq.kernel.base.module

The main functionalities of qedeq modules are described here.

org.qedeq.kernel.bo.control - package org.qedeq.kernel.bo.control

Contains business object controllers.

org.qedeq.kernel.bo.load - package org.qedeq.kernel.bo.load

Load QEDEQ module files from local system or from the internet.

org.qedeq.kernel.bo.logic - package org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

org.qedeq.kernel.bo.module - package org.qedeq.kernel.bo.module

Business objects for qedeq modules.

org.qedeq.kernel.bo.visitor - package org.qedeq.kernel.bo.visitor

The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.

org.qedeq.kernel.common - package org.qedeq.kernel.common

Common classes.

org.qedeq.kernel.config - package org.qedeq.kernel.config

Herein is the configuration for the kernel.

org.qedeq.kernel.context - package org.qedeq.kernel.context

Provides access to the kernel.

org.qedeq.kernel.dto.list - package org.qedeq.kernel.dto.list

An element is either a list or an atom.

org.qedeq.kernel.dto.module - package org.qedeq.kernel.dto.module

Value objects for qedeq modules.

org.qedeq.kernel.latex - package org.qedeq.kernel.latex

LaTeX export abilities of the kernel.

org.qedeq.kernel.log - package org.qedeq.kernel.log

Logging, and journal abilities.

org.qedeq.kernel.parser - package org.qedeq.kernel.parser

Parse texts with formulas and terms into parse tree and produce QEDEQ output.

org.qedeq.kernel.rel.test.gui - package org.qedeq.kernel.rel.test.gui

GUI interface to test the kernel.

org.qedeq.kernel.rel.test.text - package org.qedeq.kernel.rel.test.text

Test access for the kernel.

org.qedeq.kernel.trace - package org.qedeq.kernel.trace

Trace abilities, for debugging purpose only.

org.qedeq.kernel.utility - package org.qedeq.kernel.utility

Common utilities.

org.qedeq.kernel.xml.handler.list - package org.qedeq.kernel.xml.handler.list

Handler to parse formulas and terms.

org.qedeq.kernel.xml.handler.module - package org.qedeq.kernel.xml.handler.module

Handler to parse qedeq XML modules.

org.qedeq.kernel.xml.handler.parser - package org.qedeq.kernel.xml.handler.parser

Functionality to parse XML operator lists.

org.qedeq.kernel.xml.mapper - package org.qedeq.kernel.xml.mapper

Contains mapper for XML objects.

org.qedeq.kernel.xml.parser - package org.qedeq.kernel.xml.parser

Connection to SAX XML parsers.

org.qedeq.kernel.xml.tracker - package org.qedeq.kernel.xml.tracker

Tracks simple XPath descriptions in XML files.