def __init__(self, opt, op, old_op):
OptimizationResult.__init__(self, opt, op)
self.old_op = old_op
def __init__(self, opt, op, save, nextop):
OptimizationResult.__init__(self, opt, op)
self.save = save
self.nextop = nextop
def __init__(self, opt, op, old_op):
OptimizationResult.__init__(self, opt, op)
self.old_op = old_op
def __init__(self, opt, op, save, nextop):
OptimizationResult.__init__(self, opt, op)
self.save = save
self.nextop = nextop
