def int_update(self,domain,pvars):
if determinize and len(self.args) == 2:
cond = bool_const('___branch:' + str(self.unique_id))
ite = IfAction(cond,self.args[0],self.args[1])
return ite.update(domain,pvars)
result = [], false_clauses(), false_clauses()
for a in self.args:
foo = a.update(domain, pvars)
result = join_action(result, foo, domain.relations)
return result
def int_update(self,domain,pvars):
if determinize and len(self.args) == 2:
cond = bool_const('___branch:' + str(self.unique_id))
ite = IfAction(cond,self.args[0],self.args[1])
return ite.update(domain,pvars)
result = [], false_clauses(), false_clauses()
for a in self.args:
foo = a.update(domain, pvars)
result = join_action(result, foo, domain.relations)
return result