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

Packages that use PredicateDefinition

org.qedeq.kernel.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.bo.control	Contains business object controllers.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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.control

Methods in org.qedeq.kernel.bo.control with parameters of type PredicateDefinition

void	QedeqBoFormalLogicChecker.visitEnter(PredicateDefinition definition)
void	QedeqBoFormalLogicChecker.visitLeave(PredicateDefinition definition)

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

Methods in org.qedeq.kernel.bo.visitor with parameters of type PredicateDefinition

void	QedeqVisitor.visitEnter(PredicateDefinition predicateDefinition) Visit certain element.
void	QedeqVisitor.visitLeave(PredicateDefinition predicateDefinition) Visit certain element.
void	QedeqTransverser.accept(PredicateDefinition definition) Traverse predicate definition.
void	QedeqNotNullTransverser.accept(PredicateDefinition definition)
void	AbstractModuleVisitor.visitEnter(PredicateDefinition predicateDefinition)
void	AbstractModuleVisitor.visitLeave(PredicateDefinition predicateDefinition)

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.latex

Methods in org.qedeq.kernel.latex with parameters of type PredicateDefinition

void	Qedeq2Xml.visitEnter(PredicateDefinition definition)
void	Qedeq2Xml.visitLeave(PredicateDefinition definition)
void	Qedeq2Latex.visitEnter(PredicateDefinition definition)

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.

Uses of PredicateDefinition in org.qedeq.kernel.xml.mapper

Methods in org.qedeq.kernel.xml.mapper with parameters of type PredicateDefinition

void	Context2SimpleXPath.visitEnter(PredicateDefinition definition)
void	Context2SimpleXPath.visitLeave(PredicateDefinition definition)