Exemple #1
0
    def __init__(self):

        self.expressionTreeProvider = ExpressionTreeProvider()
        self.trackingInfoProvider = TrackingInfoProvider()
        self.symbolPropagator = SymbolPropagator()
        self.exprTreePruner = ExpressionTreePruner()