Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.sat4j.minisat.core
Interface ICDCLLogger

All Known Implementing Classes:
DetailedCommandPanel, Lanceur, LanceurPseudo2005, LanceurPseudo2007, LanceurPseudo2007Eclipse, RemoteControlFrame
public interface ICDCLLogger

Field Summary
static ICDCLLogger CONSOLE
           
 
Method Summary
 void log(String message)
           
 

Field Detail

CONSOLE

static final ICDCLLogger CONSOLE
Method Detail

log

void log(String message)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.