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

Packages that use FunctionDefinition

org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.

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

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

FunctionDefinition

NodeType.getFunctionDefinition() Get definition, if this is an instance of FunctionDefinition.

Uses of FunctionDefinition in org.qedeq.kernel.bo.module

Classes in org.qedeq.kernel.bo.module that implement FunctionDefinition

class

FunctionDefinitionBo Definition of function operator.

Methods in org.qedeq.kernel.bo.module that return FunctionDefinition

FunctionDefinition	RuleBo.getFunctionDefinition()
FunctionDefinition	PropositionBo.getFunctionDefinition()
FunctionDefinition	PredicateDefinitionBo.getFunctionDefinition()
FunctionDefinition	FunctionDefinitionBo.getFunctionDefinition()
FunctionDefinition	AxiomBo.getFunctionDefinition()

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

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

class

FunctionDefinitionVo Definition of function operator.

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

FunctionDefinition	RuleVo.getFunctionDefinition()
FunctionDefinition	PropositionVo.getFunctionDefinition()
FunctionDefinition	PredicateDefinitionVo.getFunctionDefinition()
FunctionDefinition	FunctionDefinitionVo.getFunctionDefinition()
FunctionDefinition	AxiomVo.getFunctionDefinition()

Uses of FunctionDefinition in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return FunctionDefinition

FunctionDefinition

FunctionDefinitionHandler.getDefinition() Get definition.