SugarTrace version 1.0.1 Core API Specification

sugartracer.sat4j
Class Sat4j

java.lang.Object
  extended by sugartracer.SatSolver
      extended by sugartracer.sat4j.Sat4j
All Implemented Interfaces:
Serializable, org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

public class Sat4j
extends SatSolver
implements org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

See Also:
Serialized Form

Field Summary
 
Fields inherited from class sugartracer.SatSolver
cnfFileName, tracer
 
Constructor Summary
Sat4j(String cnfFileName)
           
 
Method Summary
 void adding(int lit)
           
 void assuming(int lit)
           
 void backjump(int backjumpLevel)
           
 void backtracking(int lit)
           
 void beginLoop()
           
 void cleaning()
           
 void conflictFound(org.sat4j.specs.IConstr confl, int dlevel, int trailLevel)
           
 void conflictFound(int lit)
           
 void delete(int[] clause)
           
 void end(org.sat4j.specs.Lbool result)
           
 void init(org.sat4j.specs.ISolverService solverService)
           
 void learn(org.sat4j.specs.IConstr clause)
           
 void propagating(int lit, org.sat4j.specs.IConstr reason)
           
 void restarting()
           
 void restartSolver()
           
 void solutionFound(int[] model)
           
 void start()
           
 void startSolver()
           
 void stopSolver()
           
 
Methods inherited from class sugartracer.SatSolver
setTracer
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Sat4j

public Sat4j(String cnfFileName)
Method Detail

startSolver

public void startSolver()
                 throws TracerException
Specified by:
startSolver in class SatSolver
Throws:
TracerException

stopSolver

public void stopSolver()
                throws TracerException
Specified by:
stopSolver in class SatSolver
Throws:
TracerException

restartSolver

public void restartSolver()
                   throws TracerException
Specified by:
restartSolver in class SatSolver
Throws:
TracerException

assuming

public void assuming(int lit)
Specified by:
assuming in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

propagating

public void propagating(int lit,
                        org.sat4j.specs.IConstr reason)
Specified by:
propagating in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

backtracking

public void backtracking(int lit)
Specified by:
backtracking in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

backjump

public void backjump(int backjumpLevel)
Specified by:
backjump in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

conflictFound

public void conflictFound(org.sat4j.specs.IConstr confl,
                          int dlevel,
                          int trailLevel)
Specified by:
conflictFound in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

conflictFound

public void conflictFound(int lit)
Specified by:
conflictFound in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

learn

public void learn(org.sat4j.specs.IConstr clause)
Specified by:
learn in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

solutionFound

public void solutionFound(int[] model)
Specified by:
solutionFound in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

adding

public void adding(int lit)
Specified by:
adding in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

delete

public void delete(int[] clause)
Specified by:
delete in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

init

public void init(org.sat4j.specs.ISolverService solverService)
Specified by:
init in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

restarting

public void restarting()
Specified by:
restarting in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

cleaning

public void cleaning()
Specified by:
cleaning in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

beginLoop

public void beginLoop()
Specified by:
beginLoop in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

start

public void start()
Specified by:
start in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

end

public void end(org.sat4j.specs.Lbool result)
Specified by:
end in interface org.sat4j.specs.SearchListener<org.sat4j.specs.ISolverService>

SugarTrace version 1.0.1 Core API Specification

SugarTracer: Tracer of Sugar