Uses of Interface
org.qedeq.kernel.base.module.NodeType

Packages that use NodeType

org.qedeq.kernel.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.

Uses of NodeType in org.qedeq.kernel.base.module

Subinterfaces of NodeType in org.qedeq.kernel.base.module

interface	Axiom Axiom.
interface	FunctionDefinition Definition of function operator.
interface	PredicateDefinition Definition of operator.
interface	Proposition Proposition.
interface	Rule Rule.

Methods in org.qedeq.kernel.base.module that return NodeType

NodeType

Node.getNodeType() Get node content.

Uses of NodeType in org.qedeq.kernel.dto.module

Classes in org.qedeq.kernel.dto.module that implement NodeType

class	AxiomVo Axiom.
class	FunctionDefinitionVo Definition of function operator.
class	PredicateDefinitionVo Definition of operator.
class	PropositionVo Proposition.
class	RuleVo Rule declaration.

Methods in org.qedeq.kernel.dto.module that return NodeType

NodeType

NodeVo.getNodeType()

Methods in org.qedeq.kernel.dto.module with parameters of type NodeType

void	NodeVo.setNodeType(NodeType nodeType) Set the concrete theorem or definition or else.