org.sat4j.specs

Interface ILogAble

All Known Implementing Classes:

AbstractLauncher, AbstractOptimizationLauncher, BasicLauncher, MUSLauncher

public interface ILogAble

Utility interface to catch objects with logging capability (able to log). The interface supersedes the former org.sat4j.minisat.core.ICDCLLogger introduced in release 2.3.2.

Since:

2.3.3

Author:

sroussel

Field Summary

Fields

Modifier and Type	Field and Description
static ILogAble	CONSOLE

Method Summary

Methods

Modifier and Type	Method and Description
void	log(String message)

Field Detail

CONSOLE

static final ILogAble CONSOLE

Method Detail

log

void log(String message)