示例#1
0
 def __init__(self, varalloc, handleLambdas=True):
     P1Explicate.__init__(self, varalloc)
     self.handleLambdas = handleLambdas
示例#2
0
 def __init__(self, varalloc, handleLambdas=True):
     P1Explicate.__init__(self, varalloc)
     self.handleLambdas = handleLambdas