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

Packages that use InitialFunctionDefinition

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 InitialFunctionDefinition in org.qedeq.kernel.bo.service.heuristic

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

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

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

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

void	Qedeq2LatexExecutor.visitEnter(InitialFunctionDefinition definition)

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

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

void	DefaultExistenceChecker.add(InitialFunctionDefinition initialDefinition) Add unknown function constant definition.
void	WellFormedCheckerExecutor.visitEnter(InitialFunctionDefinition definition)
void	FormalProofCheckerExecutor.visitEnter(InitialFunctionDefinition definition)
void	SimpleProofFinderExecutor.visitEnter(InitialFunctionDefinition definition)
void	WellFormedCheckerExecutor.visitLeave(InitialFunctionDefinition definition)
void	FormalProofCheckerExecutor.visitLeave(InitialFunctionDefinition definition)
void	SimpleProofFinderExecutor.visitLeave(InitialFunctionDefinition definition)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(InitialFunctionDefinition definition)

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

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

InitialFunctionDefinition

NodeType.getInitialFunctionDefinition() Get definition, if this is an instance of InitialFunctionDefinition.

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

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

class

InitialFunctionDefinitionVo Definition of function operator.

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

InitialFunctionDefinition	RuleVo.getInitialFunctionDefinition()
InitialFunctionDefinition	PropositionVo.getInitialFunctionDefinition()
InitialFunctionDefinition	FunctionDefinitionVo.getInitialFunctionDefinition()
InitialFunctionDefinition	AxiomVo.getInitialFunctionDefinition()
InitialFunctionDefinition	InitialPredicateDefinitionVo.getInitialFunctionDefinition()
InitialFunctionDefinition	PredicateDefinitionVo.getInitialFunctionDefinition()
InitialFunctionDefinition	InitialFunctionDefinitionVo.getInitialFunctionDefinition()

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

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

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

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

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

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

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

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

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