Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar
Class Logger

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.Logger

public class Logger
extends Object


Constructor Summary
Logger()
           
 
Method Summary
static void log(String message)
           
static void print(String message)
           
static void println(String message)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Logger

public Logger()
Method Detail

print

public static void print(String message)

println

public static void println(String message)

log

public static void log(String message)

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver