示例#1
0
 def exit(self):
     if not self._destroyed:
         libyices.yices_free_context(self.yices)
         self._destroyed = True
示例#2
0
文件： yices.py 项目： sureshgl/pysmt 
 def _exit(self):
     libyices.yices_free_context(self.yices)
示例#3
0
文件： yices.py 项目： bogiebro/pysmt 
 def exit(self):
     if not self._destroyed:
         libyices.yices_free_context(self.yices)
         self._destroyed = True