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

Packages that use Proposition

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

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

void	ModuleLabelsCreator.visitEnter(Proposition proposition)

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

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

void	DynamicHeuristicCheckerExecutor.visitEnter(Proposition proposition)
void	DynamicHeuristicCheckerExecutor.visitLeave(Proposition definition)

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

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

void	Qedeq2LatexExecutor.visitEnter(Proposition proposition)

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

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

void	WellFormedCheckerExecutor.visitEnter(Proposition proposition)
void	FormalProofCheckerExecutor.visitEnter(Proposition proposition)
void	SimpleProofFinderExecutor.visitEnter(Proposition proposition)
void	WellFormedCheckerExecutor.visitLeave(Proposition definition)
void	FormalProofCheckerExecutor.visitLeave(Proposition definition)
void	SimpleProofFinderExecutor.visitLeave(Proposition definition)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Proposition proposition)

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

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

Proposition

NodeType.getProposition() Get proposition, if this is an instance of Proposition.

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

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

class

PropositionVo Proposition.

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

Proposition	RuleVo.getProposition()
Proposition	PropositionVo.getProposition()
Proposition	FunctionDefinitionVo.getProposition()
Proposition	AxiomVo.getProposition()
Proposition	InitialPredicateDefinitionVo.getProposition()
Proposition	PredicateDefinitionVo.getProposition()
Proposition	InitialFunctionDefinitionVo.getProposition()

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

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

void	QedeqNotNullTraverser.accept(Proposition proposition)
void	QedeqTraverser.accept(Proposition proposition) Traverse proposition.
void	QedeqVisitor.visitEnter(Proposition proposition) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Proposition proposition)
void	QedeqVisitor.visitLeave(Proposition proposition) Visit certain element.
void	AbstractModuleVisitor.visitLeave(Proposition proposition)

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

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

void	Qedeq2Xml.visitEnter(Proposition proposition)
void	Qedeq2Xml.visitLeave(Proposition proposition)

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

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

void	Context2SimpleXPath.visitEnter(Proposition proposition)
void	Context2SimpleXPath.visitLeave(Proposition proposition)