SugarTrace version 1.0.1 Core API Specification

sugartracer
Class TextTracer

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

public class TextTracer
extends Tracer


Field Summary
 
Fields inherited from class sugartracer.Tracer
debug, decoder, done, propagations, quick, showAuxVars, solver, undos
 
Constructor Summary
TextTracer(SatSolver solver, Decoder decoder)
           
 
Method Summary
 void show(String[] strs)
          Shows the strings
 
Methods inherited from class sugartracer.Tracer
backjump, conflict, decide, end, found, learnt, propagate, restart, showAssignment, showAssignment, showCommand, startTracer, stopTracer, undo
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TextTracer

public TextTracer(SatSolver solver,
                  Decoder decoder)
Method Detail

show

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

Specified by:
show in class Tracer

SugarTrace version 1.0.1 Core API Specification

SugarTracer: Tracer of Sugar