def int_update(self,domain,pvars): # update = self.args[1].int_update(domain,pvars) # return condition_update_on_fmla(update,self.args[0],domain.relations) if_part = Sequence(AssumeAction(self.args[0]),self.args[1]).int_update(domain,pvars) else_action = self.args[2] if len(self.args) >= 3 else Sequence() else_part = Sequence(AssumeAction(dual_formula(self.args[0])),else_action).int_update(domain,pvars) return join_action(if_part,else_part,domain.relations)
def int_update(self, domain, pvars): # update = self.args[1].int_update(domain,pvars) # return condition_update_on_fmla(update,self.args[0],domain.relations) check_can_assert(self.args[0], self) if_part, else_part = (a.int_update(domain, pvars) for a in self.subactions()) return join_action(if_part, else_part)
def int_update(self, domain, pvars): # update = self.args[1].int_update(domain,pvars) # return condition_update_on_fmla(update,self.args[0],domain.relations) if_part = Sequence(AssumeAction(self.args[0]), self.args[1]).int_update(domain, pvars) else_action = self.args[2] if len(self.args) >= 3 else Sequence() else_part = Sequence(AssumeAction(dual_formula(self.args[0])), else_action).int_update(domain, pvars) return join_action(if_part, else_part, domain.relations)
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): # update = self.args[1].int_update(domain,pvars) # return condition_update_on_fmla(update,self.args[0],domain.relations) if not isinstance(self.args[0], ivy_ast.Some): if not is_boolean(self.args[0]): raise IvyError(self, 'condition must be boolean') branches = [ self.args[1], self.args[2] if len(self.args) >= 3 else Sequence() ] upds = [a.int_update(domain, pvars) for a in branches] return ite_action(self.args[0], upds[0], upds[1], domain.relations) if_part, else_part = (a.int_update(domain, pvars) for a in self.subactions()) return join_action(if_part, else_part, domain.relations)
def int_update(self, domain, pvars): result = [], false_clauses(), false_clauses() for a in self.args: result = join_action(result, a.int_update(domain, pvars), domain.relations) return result
def int_update(self, domain, pvars): # update = self.args[1].int_update(domain,pvars) # return condition_update_on_fmla(update,self.args[0],domain.relations) if_part, else_part = (a.int_update(domain, pvars) for a in self.subactions()) return join_action(if_part, else_part, domain.relations)