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

N

NEGATION_OPERATOR - Static variable in class org.qedeq.kernel.bo.logic.FormulaChecker

Operator string for logical negation.

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

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

Special subsection of a qedeq file.

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

Constructs a new empty node.

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

Handles node data.

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

Constructor.

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

Marker interface for different node types.

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

Special subsection of a qedeq file.

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

Constructs a new empty node.

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

List contains NullPointer entry exception.

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

Constructor.

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

Return all elements that are only in one of both sets.

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

Build a new intersection.

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

Build a new intersection.