Uses of Interface
org.qedeq.kernel.bo.log.ModuleLogListener

Packages that use ModuleLogListener

org.qedeq.kernel.bo.log	Logging, and journal abilities.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.

Uses of ModuleLogListener in org.qedeq.kernel.bo.log

Classes in org.qedeq.kernel.bo.log that implement ModuleLogListener

class

ModuleLogListenerImpl Listener that writes events to a stream.

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

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

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

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

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

void	ProofFinderImpl.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 trans)
static FormalProofLineList	ProofFinderUtility.shortenProof(java.util.List lines, java.util.List reasons, ModuleLogListener log, Element2Utf8 trans) Shorten given formal proof.