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

Packages that use PredicateDefinition

org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.heuristic	Plugin for model checking of formulas.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
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.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
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.bo.module

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

PredicateDefinition

ModuleLabels.getPredicate(java.lang.String name, int argumentNumber) Get predicate definition.

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

void	ModuleLabels.addPredicate(PredicateDefinition definition, ModuleContext context) Add predicate definition.

Uses of PredicateDefinition in org.qedeq.kernel.bo.service.basis

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

void	ModuleLabelsCreator.visitEnter(PredicateDefinition predDef)

Uses of PredicateDefinition in org.qedeq.kernel.bo.service.heuristic

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

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

Uses of PredicateDefinition in org.qedeq.kernel.bo.service.latex

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

void	Qedeq2LatexExecutor.visitEnter(PredicateDefinition definition)

Uses of PredicateDefinition in org.qedeq.kernel.bo.service.logic

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

void	WellFormedCheckerExecutor.visitEnter(PredicateDefinition definition)
void	FormalProofCheckerExecutor.visitEnter(PredicateDefinition definition)
void	SimpleProofFinderExecutor.visitEnter(PredicateDefinition definition)
void	WellFormedCheckerExecutor.visitLeave(PredicateDefinition definition)
void	FormalProofCheckerExecutor.visitLeave(PredicateDefinition definition)
void	SimpleProofFinderExecutor.visitLeave(PredicateDefinition definition)

Uses of PredicateDefinition in org.qedeq.kernel.bo.service.unicode

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

void	Qedeq2UnicodeVisitor.visitEnter(PredicateDefinition definition)

Uses of PredicateDefinition in org.qedeq.kernel.se.base.module

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

PredicateDefinition

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

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

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

class

PredicateDefinitionVo Definition of operator.

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

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

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

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

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

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

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

void	Qedeq2Xml.visitEnter(PredicateDefinition definition)
void	Qedeq2Xml.visitLeave(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)