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

Packages that use PredicateDefinition

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 PredicateDefinition in org.qedeq.kernel.base.module

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

PredicateDefinition

NodeType.getPredicateDefinition() Get definition, if this is an instance of PredicateDefinition.

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

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

class

PredicateDefinitionBo Definition of operator.

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

PredicateDefinition	RuleBo.getPredicateDefinition()
PredicateDefinition	PropositionBo.getPredicateDefinition()
PredicateDefinition	PredicateDefinitionBo.getPredicateDefinition()
PredicateDefinition	FunctionDefinitionBo.getPredicateDefinition()
PredicateDefinition	AxiomBo.getPredicateDefinition()

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

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

class

PredicateDefinitionVo Definition of operator.

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

PredicateDefinition	RuleVo.getPredicateDefinition()
PredicateDefinition	PropositionVo.getPredicateDefinition()
PredicateDefinition	PredicateDefinitionVo.getPredicateDefinition()
PredicateDefinition	FunctionDefinitionVo.getPredicateDefinition()
PredicateDefinition	AxiomVo.getPredicateDefinition()

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

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

PredicateDefinition

PredicateDefinitionHandler.getDefinition() Get definition.