SugarTrace version 1.0.1 Core API Specification

sugartracer
Class SatSolver

java.lang.Object
  extended by sugartracer.SatSolver
Direct Known Subclasses:
Sat4j

public abstract class SatSolver
extends Object


Field Summary
 String cnfFileName
           
 Tracer tracer
           
 
Constructor Summary
SatSolver(String cnfFileName)
           
 
Method Summary
abstract  void restartSolver()
           
 void setTracer(Tracer tracer)
           
abstract  void startSolver()
           
abstract  void stopSolver()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

cnfFileName

public String cnfFileName

tracer

public Tracer tracer
Constructor Detail

SatSolver

public SatSolver(String cnfFileName)
Method Detail

setTracer

public void setTracer(Tracer tracer)

startSolver

public abstract void startSolver()
                          throws TracerException
Throws:
TracerException

stopSolver

public abstract void stopSolver()
                         throws TracerException
Throws:
TracerException

restartSolver

public abstract void restartSolver()
                            throws TracerException
Throws:
TracerException

SugarTrace version 1.0.1 Core API Specification

SugarTracer: Tracer of Sugar