A B 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 interface org.qedeq.kernel.bo.logic.Operators

Operator string for logical negation.

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

A node carries mathematical knowledge.

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.

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

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

newEnding(String, String) - Static method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get module address with new ending.

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

Build a new intersection.

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

Build a new intersection.