コード例 #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)