sugartracer.sat4j
Class Sat4j
java.lang.Object
sugartracer.SatSolver
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
Sat4j
public Sat4j(String cnfFileName)
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>
SugarTracer: Tracer of Sugar