|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NodeType | |
---|---|
org.qedeq.kernel.se.base.module | The main functionalities of qedeq modules are described here. |
org.qedeq.kernel.se.dto.module | Value objects for QEDEQ modules. |
Uses of NodeType in org.qedeq.kernel.se.base.module |
---|
Subinterfaces of NodeType in org.qedeq.kernel.se.base.module | |
---|---|
interface |
Axiom
Axiom. |
interface |
FunctionDefinition
Definition of function operator. |
interface |
InitialFunctionDefinition
Definition of initial function operator. |
interface |
InitialPredicateDefinition
Initial Definition of operator. |
interface |
PredicateDefinition
Definition of operator. |
interface |
Proposition
Proposition. |
interface |
Rule
Rule. |
Methods in org.qedeq.kernel.se.base.module that return NodeType | |
---|---|
NodeType |
Node.getNodeType()
Get node content. |
Uses of NodeType in org.qedeq.kernel.se.dto.module |
---|
Classes in org.qedeq.kernel.se.dto.module that implement NodeType | |
---|---|
class |
AxiomVo
Axiom. |
class |
FunctionDefinitionVo
Definition of function operator. |
class |
InitialFunctionDefinitionVo
Definition of function operator. |
class |
InitialPredicateDefinitionVo
Definition of initial operator. |
class |
PredicateDefinitionVo
Definition of operator. |
class |
PropositionVo
Proposition. |
class |
RuleVo
Rule declaration. |
Methods in org.qedeq.kernel.se.dto.module that return NodeType | |
---|---|
NodeType |
NodeVo.getNodeType()
|
Methods in org.qedeq.kernel.se.dto.module with parameters of type NodeType | |
---|---|
void |
NodeVo.setNodeType(NodeType nodeType)
Set the concrete theorem or definition or else. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |