示例#1
0
 def _exit(self):
     yicespy.yices_free_context(self.yices)
     yicespy.yices_free_param_record(self.yices_params)
示例#2
0
文件： yices.py 项目： daniel-rs/pysmt 
 def _exit(self):
     yicespy.yices_free_context(self.yices)
示例#3
0
文件： yices.py 项目： 0Chuzz/pysmt 
 def _exit(self):
     yicespy.yices_free_context(self.yices)
示例#4
0
文件： yices.py 项目： agriggio/pysmt 
 def _exit(self):
     yicespy.yices_free_context(self.yices)
     yicespy.yices_free_param_record(self.yices_params)