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

I

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

Operator string for logical implication.

INFIX - Static variable in class org.qedeq.kernel.parser.Operator

Marks infix operator.

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

Tag for introduction part.

ITEM_TAG - Static variable in class org.qedeq.kernel.xml.handler.module.LiteratureItemHandler

Tag for this handler.

IdentityOperatorAlreadyExistsException - exception org.qedeq.kernel.bo.control.IdentityOperatorAlreadyExistsException.

The identity operator was defined twice.

IdentityOperatorAlreadyExistsException(int, String, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.IdentityOperatorAlreadyExistsException

Constructor.

IdentityOperatorAlreadyExistsException(int, String, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.control.IdentityOperatorAlreadyExistsException

Constructor.

IllegalModuleDataException - exception org.qedeq.kernel.common.IllegalModuleDataException.

Data validation error for a QEDEQ module.

IllegalModuleDataException(int, String, ModuleContext, ModuleContext, Exception) - Constructor for class org.qedeq.kernel.common.IllegalModuleDataException

Constructor.

IllegalModuleDataException(int, String, ModuleContext, Exception) - Constructor for class org.qedeq.kernel.common.IllegalModuleDataException

Constructor.

IllegalModuleDataException(int, String, ModuleContext) - Constructor for class org.qedeq.kernel.common.IllegalModuleDataException

Constructor.

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

Module import.

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

List of imports.

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

Parse author list.

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

Handles list of imports.

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

List of imports.

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

Constructs an empty list of imports.

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

Module import.

ImportVo(String, SpecificationVo) - Constructor for class org.qedeq.kernel.dto.module.ImportVo

Constructs a new import.

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

Constructs an empty import.

InternalKernelServices - interface org.qedeq.kernel.bo.control.InternalKernelServices.

The kernel internal service methods are assembled here.

IoUtility - class org.qedeq.kernel.utility.IoUtility.

A collection of useful static methods for input and output.

ignorableWhitespace(char[], int, int) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

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

Increases current number by one.

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

Trace message.

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

Trace method message.

init(InternalKernelServices, QedeqConfig) - Method in interface org.qedeq.kernel.bo.control.KernelState

Kernel initialisation.

init() - Method in class org.qedeq.kernel.bo.control.ModuleConstantsExistenceChecker

Check if required QEDEQ modules mix without problems.

init(InternalKernelServices, QedeqConfig) - Method in class org.qedeq.kernel.context.KernelContext

init() - Method in class org.qedeq.kernel.xml.handler.list.ElementHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.AuthorHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.AuthorListHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.AxiomHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.ChapterHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.FormulaHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.HeaderHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.ImportListHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.LatexHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.LatexListHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.LiteratureItemHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.NodeHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.ProofHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.PropositionHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.QedeqHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.RuleHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.SectionHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.SpecificationHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.SubsectionHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.SubsectionListHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.TermHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.UsedByListHandler

init() - Method in class org.qedeq.kernel.xml.handler.module.VariableListHandler

init() - Method in class org.qedeq.kernel.xml.handler.parser.ParserHandler

init() - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Must be called before a handler should parse a new section.

insert(int, Element) - Method in interface org.qedeq.kernel.base.list.ElementList

Inserts an element to specified position.

insert(int, Element) - Method in class org.qedeq.kernel.dto.list.DefaultElementList

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

Build the intersection.

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

Build the intersection.

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

Is this an atom?

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

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

isAtom() - Method in class org.qedeq.kernel.parser.Term

Is this term an atom?

isAutoReloadLastSessionChecked() - Method in class org.qedeq.kernel.config.QedeqConfig

Get auto reload of last session successfully loaded modules.

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

isChecked() - Method in interface org.qedeq.kernel.common.QedeqBo

Was the module checked?

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

Is set empty?

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

Is set empty?

isEmpty() - Method in class org.qedeq.kernel.utility.TextInput

Is there no data left for reading?

isEmpty(int) - Method in class org.qedeq.kernel.utility.TextInput

Is there no data left for reading after skipping?

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

Is this a failure state?

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

Is this a failure state?

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

Is this a failure state?

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

Is this a local QEDEQ file.

isFileAddress() - Method in interface org.qedeq.kernel.common.ModuleAddress

Is this a local QEDEQ file.

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

Is this a function operator?

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

Is this an infix operator?

isLetterDigitString(String) - Static method in class org.qedeq.kernel.utility.StringUtility

Tests if given String begins with a letter and contains only letters and digits.

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

Is this an ElementList?

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

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

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

isLoaded() - Method in interface org.qedeq.kernel.common.QedeqBo

Is this module already loaded?

isOldHtml() - Method in class org.qedeq.kernel.config.QedeqConfig

Should old HTML code be generated?

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

Is this a postfix operator?

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

Is this a prefix operator?

isReady() - Method in interface org.qedeq.kernel.bo.control.KernelState

Is the kernel ready to perform its main tasks.

isReady() - Method in class org.qedeq.kernel.context.KernelContext

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

Was this module address created relatively?

isRelativeAddress() - Method in interface org.qedeq.kernel.common.ModuleAddress

Was this module address created relatively?

isRuleVersionSupported(String) - Method in class org.qedeq.kernel.context.KernelContext

Is a given rule version supported?

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

Is set a subset of this set?

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

Is set a subset of this set?

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

Was the application started by Java Webstart?