SugarTrace version 1.0.1 Core API Specification

sugartracer
Class ServerTracer

java.lang.Object
  extended by sugartracer.Tracer
      extended by sugartracer.ServerTracer

public class ServerTracer
extends Tracer


Nested Class Summary
 class ServerTracer.CommandHandler
           
 class ServerTracer.HtmlHandler
           
 
Field Summary
 String commandPath
           
 String htmlDir
           
 String htmlPath
           
 int port
           
 com.sun.net.httpserver.HttpServer server
           
 
Fields inherited from class sugartracer.Tracer
debug, decoder, propagations, quick, showAuxVars, solver, undos
 
Constructor Summary
ServerTracer(SatSolver solver, Decoder decoder, String htmlDir, int port)
           
 
Method Summary
 void restartTracer()
           
 void show(String[] strs)
          Shows the strings
 void showAssignment()
          Shows the current assignment.
 void startTracer()
          Starts the tracer.
 String stepTracer()
           
 void stopTracer()
          Stops the tracer.
 
Methods inherited from class sugartracer.Tracer
backjump, conflict, decide, end, found, learnt, propagate, restart, showAssignment, showCommand, undo
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

port

public int port

htmlDir

public String htmlDir

htmlPath

public String htmlPath

commandPath

public String commandPath

server

public com.sun.net.httpserver.HttpServer server
Constructor Detail

ServerTracer

public ServerTracer(SatSolver solver,
                    Decoder decoder,
                    String htmlDir,
                    int port)
Method Detail

startTracer

public void startTracer()
                 throws TracerException
Description copied from class: Tracer
Starts the tracer.

Overrides:
startTracer in class Tracer
Throws:
TracerException
See Also:
SatSolver.startSolver()

stopTracer

public void stopTracer()
                throws TracerException
Description copied from class: Tracer
Stops the tracer.

Overrides:
stopTracer in class Tracer
Throws:
TracerException
See Also:
SatSolver.stopSolver()

restartTracer

public void restartTracer()
                   throws TracerException
Throws:
TracerException

stepTracer

public String stepTracer()
                  throws TracerException
Throws:
TracerException

show

public void show(String[] strs)
Description copied from class: Tracer
Shows the strings

Specified by:
show in class Tracer

showAssignment

public void showAssignment()
Description copied from class: Tracer
Shows the current assignment.

Overrides:
showAssignment in class Tracer

SugarTrace version 1.0.1 Core API Specification

SugarTracer: Tracer of Sugar