예제 #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