Python yices_assert_formulaの例

コード例 #1

ファイル: yices.py プロジェクト: sureshgl/pysmt

 def add_assertion(self, formula, named=None):
     self._assert_is_boolean(formula)
     term = self.converter.convert(formula)
     code = libyices.yices_assert_formula(self.yices, term)
     if code != 0:
         raise InternalSolverError("Yices returned non-zero code upon assert"\
                                   ": %s (code: %s)" % \
                                   (libyices.yices_error_string(), code))

コード例 #2

ファイル: yices.py プロジェクト: iambrosie/pysmt

 def add_assertion(self, formula, named=None):
     self._assert_is_boolean(formula)
     term = self.converter.convert(formula)
     code = libyices.yices_assert_formula(self.yices, term)
     assert code == 0, "Yices returned non-zero code (" + str(code) + "): " + str(formula)

コード例 #3

 def add_assertion(self, formula, named=None):
     self._assert_is_boolean(formula)
     term = self.converter.convert(formula)
     code = libyices.yices_assert_formula(self.yices, term)
     assert code == 0, "Yices returned non-zero code (" + str(
         code) + "): " + str(formula)