sugartracer
Class ServerTracer
java.lang.Object
sugartracer.Tracer
sugartracer.ServerTracer
public class ServerTracer
- extends Tracer
Methods inherited from class sugartracer.Tracer |
backjump, conflict, decide, end, found, learnt, propagate, restart, showAssignment, showCommand, undo |
port
public int port
htmlDir
public String htmlDir
htmlPath
public String htmlPath
commandPath
public String commandPath
server
public com.sun.net.httpserver.HttpServer server
ServerTracer
public ServerTracer(SatSolver solver,
Decoder decoder,
String htmlDir,
int port)
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
SugarTracer: Tracer of Sugar