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

Packages that use InitialPredicateDefinition

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

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

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

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

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

void	Qedeq2LatexExecutor.visitEnter(InitialPredicateDefinition definition)

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

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

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

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

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

void	Qedeq2UnicodeVisitor.visitEnter(InitialPredicateDefinition definition)

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

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

InitialPredicateDefinition

NodeType.getInitialPredicateDefinition() Get initial definition, if this is an instance of InitialPredicateDefinition.

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

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

class

InitialPredicateDefinitionVo Definition of initial operator.

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

InitialPredicateDefinition	RuleVo.getInitialPredicateDefinition()
InitialPredicateDefinition	PropositionVo.getInitialPredicateDefinition()
InitialPredicateDefinition	FunctionDefinitionVo.getInitialPredicateDefinition()
InitialPredicateDefinition	AxiomVo.getInitialPredicateDefinition()
InitialPredicateDefinition	InitialPredicateDefinitionVo.getInitialPredicateDefinition()
InitialPredicateDefinition	PredicateDefinitionVo.getInitialPredicateDefinition()
InitialPredicateDefinition	InitialFunctionDefinitionVo.getInitialPredicateDefinition()

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

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

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

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

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

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

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

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

InitialPredicateDefinition

InitialPredicateDefinitionHandler.getInitialDefinition() Get definition.

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

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

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