(self, formula)
return res
Convert a PySMT formula into a MathSat Term.

        This function might throw a InternalSolverError exception if
        an error during conversion occurs.
Convert a PySMT formula into a MathSat Term.
Convert a PySMT formula into a MathSat Term .
def convert(self, formula):
        """Convert a PySMT formula into a MathSat Term.

        This function might throw a InternalSolverError exception if
        an error during conversion occurs.
        """
        # Rewrite to avoid UF with bool args
        rformula = self._ufrewriter.walk(formula)
        res = self.walk(rformula)
        if mathsat.MSAT_ERROR_TERM(res):
            msat_msg = mathsat.msat_last_error_message(self.msat_env())
            raise InternalSolverError(msat_msg)
        if rformula != formula:
            warn("MathSAT convert(): UF with bool arguments have been translated")
        return res
def convert ( self , formula ) : # Rewrite to avoid UF with bool args rformula = self . _ufrewriter . walk ( formula ) res = self . walk ( rformula ) if mathsat . MSAT_ERROR_TERM ( res ) : msat_msg = mathsat . msat_last_error_message ( self . msat_env ( ) ) raise InternalSolverError ( msat_msg ) if rformula != formula : warn ( "MathSAT convert(): UF with bool arguments have been translated" ) return res