Uses of Interface
org.qedeq.kernel.base.module.Term

Packages that use Term

org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.latex	LaTeX export abilities of the kernel.

Uses of Term in org.qedeq.kernel.base.module

Methods in org.qedeq.kernel.base.module that return Term

Term	FunctionDefinition.getTerm() Get term that defines the object.

Uses of Term in org.qedeq.kernel.bo.visitor

Methods in org.qedeq.kernel.bo.visitor with parameters of type Term

void	QedeqVisitor.visitEnter(Term term) Visit certain element.
void	QedeqVisitor.visitLeave(Term term) Visit certain element.
void	QedeqTransverser.accept(Term term) Traverse term.
void	QedeqNotNullTransverser.accept(Term term)
void	AbstractModuleVisitor.visitEnter(Term term)
void	AbstractModuleVisitor.visitLeave(Term term)

Uses of Term in org.qedeq.kernel.dto.module

Classes in org.qedeq.kernel.dto.module that implement Term

class

TermVo Wraps a fterm.

Methods in org.qedeq.kernel.dto.module that return Term

Term	FunctionDefinitionVo.getTerm()

Uses of Term in org.qedeq.kernel.latex

Methods in org.qedeq.kernel.latex with parameters of type Term

void	Qedeq2Xml.visitEnter(Term term)
void	Qedeq2Xml.visitLeave(Term term)