public void setTracer(FOLTFMResolutionTracer tracer) { this.tracer = tracer; }
public FOLTFMResolution(FOLTFMResolutionTracer tracer) { setTracer(tracer); }