コード例 #1
0
ファイル: ivy_compiler.py プロジェクト: JJTRX/ivy
    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)
コード例 #2
0
 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)
コード例 #3
0
ファイル: ivy_interp.py プロジェクト: ZZHGit/ivy
def type_check_list(domain,l):
    for x in l:
        if isinstance(x,list):
            type_check_list(domain,x)
        else:
            type_check(domain,x)
コード例 #4
0
def type_check_list(domain, l):
    for x in l:
        if isinstance(x, list):
            type_check_list(domain, x)
        else:
            type_check(domain, x)