A 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 class org.qedeq.kernel.bo.logic.FormulaChecker

Operator string for logical implication.

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

Tag for introduction part.

IllegalDataException - exception org.qedeq.kernel.bo.module.IllegalDataException.

Data validation error.

IllegalDataException(int, String) - Constructor for class org.qedeq.kernel.bo.module.IllegalDataException

Constructor.

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

Data validation error.

IllegalModuleDataException(int, String, Context, Context, Exception) - Constructor for class org.qedeq.kernel.bo.control.IllegalModuleDataException

Constructor.

IllegalModuleDataException(int, String, Context, Exception) - Constructor for class org.qedeq.kernel.bo.control.IllegalModuleDataException

Constructor.

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

Module import.

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

Module import.

ImportBo(String, Specification) - Constructor for class org.qedeq.kernel.bo.module.ImportBo

Constructs a new import.

ImportBo() - Constructor for class org.qedeq.kernel.bo.module.ImportBo

Constructs an empty import.

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

List of imports.

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

List of imports.

ImportListBo() - Constructor for class org.qedeq.kernel.bo.module.ImportListBo

Constructs an empty 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, Specification) - 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.

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.dto.elli.Enumerator

Increases current number by one.

init() - Method in class org.qedeq.kernel.xml.handler.elli.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.DefinitionHandler

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

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

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

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

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

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

initalizeTrace() - Static method in class org.qedeq.kernel.rel.test.text.Xml2Latex

Initialize trace file.

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

Inserts an element to specified position.

insert(int, Element) - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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

Build the intersection.

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

Build the intersection.

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

Is this an atom?

isAtom() - Method in class org.qedeq.kernel.dto.elli.AtomImpl

isAtom() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

isContentChanged() - Method in class org.qedeq.kernel.rel.test.gui.QedeqPane

Was the content changed?

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

Is set empty?

isEmpty() - Method in class org.qedeq.kernel.dto.elli.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.bo.module.QedeqBoState

Is this a failure state?

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

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

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

Is this an ElementList?

isList() - Method in class org.qedeq.kernel.dto.elli.AtomImpl

isList() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

isSubjectVariable(Element) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker

Is Element an subject variable?

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.elli.ElementSet

Is set a subset of this set?