sugartracer
Class TextTracer
java.lang.Object
sugartracer.Tracer
sugartracer.TextTracer
public class TextTracer
- extends Tracer
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 |
TextTracer
public TextTracer(SatSolver solver,
Decoder decoder)
show
public void show(String[] strs)
- Description copied from class:
Tracer
- Shows the strings
- Specified by:
show
in class Tracer
SugarTracer: Tracer of Sugar