Exemple #1
0
 def int_update(self,domain,pvars):
     return bind_olds_action(self.args[0].int_update(domain,pvars))
Exemple #2
0
 def update(self,domain,in_scope):
     return self.hide_formals(bind_olds_action(self.int_update(domain,in_scope)))