def int_update(self,domain,pvars):
update = self.args[-1].int_update(domain,pvars)
# syms = used_symbols_asts(self.args[0:-1])
subst = dict((a.args[0].rep,a.args[1].rep) for a in self.args[0:-1])
res = subst_action(update,subst)
# print "let res: {}".format(res)
return res
def int_update(self, domain, pvars):
update = self.args[-1].int_update(domain, pvars)
# syms = used_symbols_asts(self.args[0:-1])
subst = dict((a.args[0].rep, a.args[1].rep) for a in self.args[0:-1])
res = subst_action(update, subst)
# print "let res: {}".format(res)
return res