Uses of Package
org.qedeq.kernel.bo.log

Packages that use org.qedeq.kernel.bo.log
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. 
 

Classes in org.qedeq.kernel.bo.log used by org.qedeq.kernel.bo.log
LogListener
          Log event listener.
ModuleEventListener
          Interface for an QEDEQ module event listener.
ModuleEventLog
          This class organizes the logging of module events.
ModuleLogListener
          Log module messages.
QedeqLog
          This class organizes the logging.
 

Classes in org.qedeq.kernel.bo.log used by org.qedeq.kernel.bo.logic.proof.common
ModuleLogListener
          Log module messages.
 

Classes in org.qedeq.kernel.bo.log used by org.qedeq.kernel.bo.logic.proof.finder
ModuleLogListener
          Log module messages.
 



Copyright © 2014. All Rights Reserved.