Python yices_assert_formula Exemples

Exemple #1

Fichier : yices.py Projet : 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))

Exemple #2

Fichier : yices.py Projet : 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)

Exemple #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)