def __init__(self): self.expressionTreeProvider = ExpressionTreeProvider() self.trackingInfoProvider = TrackingInfoProvider() self.symbolPropagator = SymbolPropagator() self.exprTreePruner = ExpressionTreePruner()
def __init__(self): self.exprTreeProvider = ExpressionTreeProvider() self.trackingInfoProvider = TrackingInfoProvider() self.treeToExprConverter = TreeToExpressionConverter()