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

Packages that use FunctionDefinition

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.mapper	Contains mapper for XML objects.

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

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

FunctionDefinition

ModuleLabels.getFunction(java.lang.String name, int argumentNumber) Get function definition.

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

void	ModuleLabels.addFunction(FunctionDefinition definition, ModuleContext context) Add function definition.

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

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

void	ModuleLabelsCreator.visitEnter(FunctionDefinition funcDef) Increase function definition counter.

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

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

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

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

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

void	Qedeq2LatexExecutor.visitEnter(FunctionDefinition definition)
void	Qedeq2LatexExecutor.visitLeave(FunctionDefinition definition)

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

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

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

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

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

void	Qedeq2UnicodeVisitor.visitEnter(FunctionDefinition definition)

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

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

FunctionDefinition

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

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

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

class

FunctionDefinitionVo Definition of function operator.

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

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

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

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

void	QedeqNotNullTraverser.accept(FunctionDefinition definition)
void	QedeqTraverser.accept(FunctionDefinition definition) Traverse function definition.
void	QedeqVisitor.visitEnter(FunctionDefinition functionDefinition) Visit certain element.
void	AbstractModuleVisitor.visitEnter(FunctionDefinition functionDefinition)
void	QedeqVisitor.visitLeave(FunctionDefinition functionDefinition) Visit certain element.
void	AbstractModuleVisitor.visitLeave(FunctionDefinition functionDefinition)

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

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

void	Qedeq2Xml.visitEnter(FunctionDefinition definition)
void	Qedeq2Xml.visitLeave(FunctionDefinition definition)

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

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

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