Uses of Interface
org.qedeq.kernel.bo.common.Element2Utf8

Packages that use Element2Utf8

org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.

Uses of Element2Utf8 in org.qedeq.kernel.bo.logic.proof.common

Methods in org.qedeq.kernel.bo.logic.proof.common with parameters of type Element2Utf8

void	ProofFinder.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 transform) Finds a formal proof.

Uses of Element2Utf8 in org.qedeq.kernel.bo.logic.proof.finder

Methods in org.qedeq.kernel.bo.logic.proof.finder with parameters of type Element2Utf8

void	ProofFinderImpl.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 trans)
static java.lang.String	ProofFinderUtility.getUtf8Line(Element formula, Reason reason, int i, Element2Utf8 trans) Get UTF-8 representation of proof line.
static java.lang.String	ProofFinderUtility.getUtf8Line(java.util.List lines, java.util.List reasons, int i, Element2Utf8 trans) Get UTF-8 representation of proof line.
static FormalProofLineList	ProofFinderUtility.shortenProof(java.util.List lines, java.util.List reasons, ModuleLogListener log, Element2Utf8 trans) Shorten given formal proof.

Uses of Element2Utf8 in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module that return Element2Utf8

Element2Utf8

KernelQedeqBo.getElement2Utf8() Return mapper for transforming elements into UTF-8 text.

Uses of Element2Utf8 in org.qedeq.kernel.bo.service.internal

Classes in org.qedeq.kernel.bo.service.internal that implement Element2Utf8

class

Element2Utf8Impl Transfer a QEDEQ formulas into UTF-8 text.

Methods in org.qedeq.kernel.bo.service.internal that return Element2Utf8

Element2Utf8

DefaultKernelQedeqBo.getElement2Utf8()

Methods in org.qedeq.kernel.bo.service.internal with parameters of type Element2Utf8

void	DefaultKernelQedeqBo.setLoaded(QedeqVo qedeq, ModuleLabels labels, Element2Latex converter, Element2Utf8 textConverter) Set loading state to "loaded".