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

Packages that use Axiom

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 Axiom in org.qedeq.kernel.bo.service.basis

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

void	ModuleLabelsCreator.visitEnter(Axiom axiom)

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

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

void	DynamicHeuristicCheckerExecutor.visitEnter(Axiom axiom)
void	DynamicHeuristicCheckerExecutor.visitLeave(Axiom axiom)

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

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

void	Qedeq2LatexExecutor.visitEnter(Axiom axiom)

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

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

void	WellFormedCheckerExecutor.visitEnter(Axiom axiom)
void	FormalProofCheckerExecutor.visitEnter(Axiom axiom)
void	SimpleProofFinderExecutor.visitEnter(Axiom axiom)
void	WellFormedCheckerExecutor.visitLeave(Axiom axiom)
void	FormalProofCheckerExecutor.visitLeave(Axiom axiom)
void	SimpleProofFinderExecutor.visitLeave(Axiom axiom)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Axiom axiom)

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

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

Axiom

NodeType.getAxiom() Get axiom, if this is an instance of Axiom.

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

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

class

AxiomVo Axiom.

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

Axiom	RuleVo.getAxiom()
Axiom	PropositionVo.getAxiom()
Axiom	FunctionDefinitionVo.getAxiom()
Axiom	AxiomVo.getAxiom()
Axiom	InitialPredicateDefinitionVo.getAxiom()
Axiom	PredicateDefinitionVo.getAxiom()
Axiom	InitialFunctionDefinitionVo.getAxiom()

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

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

void	QedeqNotNullTraverser.accept(Axiom axiom)
void	QedeqTraverser.accept(Axiom axiom) Traverse axiom.
void	QedeqVisitor.visitEnter(Axiom axiom) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Axiom axiom)
void	QedeqVisitor.visitLeave(Axiom axiom) Visit certain element.
void	AbstractModuleVisitor.visitLeave(Axiom axiom)

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

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

void	Qedeq2Xml.visitEnter(Axiom axiom)
void	Qedeq2Xml.visitLeave(Axiom axiom)

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

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

Axiom

AxiomHandler.getAxiom() Get axiom.

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

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

void	Context2SimpleXPath.visitEnter(Axiom axiom)
void	Context2SimpleXPath.visitLeave(Axiom axiom)