Esempio n. 1
0
 def __init__(self, varalloc, handleLambdas=True):
     P1Explicate.__init__(self, varalloc)
     self.handleLambdas = handleLambdas
Esempio n. 2
0
 def __init__(self, varalloc, handleLambdas=True):
     P1Explicate.__init__(self, varalloc)
     self.handleLambdas = handleLambdas