def __init__()

in SketchExperiment.py [0:0]


    def __init__(self, run, sketch_seed_start, experiment, executor=None):
        self.run = run
        self.workload = copy.deepcopy(experiment.workload)
        self.oracle = copy.deepcopy(experiment.oracle)
        self.experiment = experiment
        self.executor = executor
        self.sketch_seed_start = sketch_seed_start