public class Logger extends Object
static int
verboseLevel
Logger()
static void
fine(String message)
info(String message)
print(String message)
println(String message)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static int verboseLevel
public Logger()
public static void print(String message)
public static void println(String message)
public static void info(String message)
public static void fine(String message)
Sugar: A SAT-based Constraint Solver