(self, solver)
Set Search Parameters.

        Yices makes a distinction between configuratin and search
        parameters.  The first are fixed for the lifetime of a
        context, while the latter can be different for every call to
        check_context.

        A list of available parameters is available at:
        http://yices.csl.sri.com/doc/parameters.html
Set Search Parameters.
Set Search Parameters .
def set_params(self, solver):
        """Set Search Parameters.

        Yices makes a distinction between configuratin and search
        parameters.  The first are fixed for the lifetime of a
        context, while the latter can be different for every call to
        check_context.

        A list of available parameters is available at:
        http://yices.csl.sri.com/doc/parameters.html
        """
        params = yicespy.yices_new_param_record()
        yicespy.yices_default_params_for_context(solver.yices, params)
        for k,v in self.solver_options.items():
            rv = yicespy.yices_set_param(params, k, v)
            if rv != 0:
                raise PysmtValueError("Error setting the option '%s=%s'" % (k,v))
        solver.yices_params = params
def set_params ( self , solver ) : params = yicespy . yices_new_param_record ( ) yicespy . yices_default_params_for_context ( solver . yices , params ) for k , v in self . solver_options . items ( ) : rv = yicespy . yices_set_param ( params , k , v ) if rv != 0 : raise PysmtValueError ( "Error setting the option '%s=%s'" % ( k , v ) ) solver . yices_params = params