コード例 #1
0
ファイル: term.py プロジェクト: charyorde/dao
 def evaluate_cont(self, solver, cont, exps):
   exps1 = [(closure(exp, solver.env)) for exp in exps]
   return self.run(solver, cont, exps1)
コード例 #2
0
ファイル: term.py プロジェクト: charyorde/dao
 def closure(self, env): 
   head = closure(self.head, env)
   tail = closure(self.tail, env)
   if head==self.head and tail==self.tail:
     return self
   return Cons(head, tail)
コード例 #3
0
ファイル: term.py プロジェクト: charyorde/dao
 def closure(self, env):
   return CommandCall(self.operator, *[closure(x, env) for x in self.operand])