def init(self,s): s = sortify_with_inference(s) # print "s:{}".format(s) type_check(self.ag.domain,s) c = formula_to_clauses_tseitin(s) if not c: raise IvyError(ax,"initial condition must be a clause") self.ag.init_cond = and_clauses(self.ag.init_cond,c)
def init(self, s): s = sortify_with_inference(s) # print "s:{}".format(s) type_check(self.ag.domain, s) c = formula_to_clauses_tseitin(s) if not c: raise IvyError(ax, "initial condition must be a clause") self.ag.init_cond = and_clauses(self.ag.init_cond, c)
def type_check_list(domain,l): for x in l: if isinstance(x,list): type_check_list(domain,x) else: type_check(domain,x)
def type_check_list(domain, l): for x in l: if isinstance(x, list): type_check_list(domain, x) else: type_check(domain, x)