Sugar version 2.3.2 Core API Specification
-
-
Field Summary
Fields
Modifier and Type |
Field and Description |
static int |
verboseLevel |
-
Constructor Summary
Constructors
Constructor and Description |
Logger() |
-
Method Summary
All Methods Static Methods Concrete Methods
Modifier and Type |
Method and Description |
static void |
fine(java.lang.String message) |
static void |
info(java.lang.String message) |
static void |
print(java.lang.String message) |
static void |
println(java.lang.String message) |
static void |
status() |
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Sugar version 2.3.2 Core API Specification
Sugar: A SAT-based Constraint Solver