(self)
return kwargs
Construct a dictionary object that can be used as **kwargs.

        This can be used to duplicate the options.
Construct a dictionary object that can be used as **kwargs.
Construct a dictionary object that can be used as ** kwargs .
def as_kwargs(self):
        """Construct a dictionary object that can be used as **kwargs.

        This can be used to duplicate the options.
        """
        kwargs = {}
        for k in ("generate_models", "incremental", "unsat_cores_mode",
                  "random_seed", "solver_options"):
            v = getattr(self, k)
            kwargs[k] = v
        return kwargs
def as_kwargs ( self ) : kwargs = { } for k in ( "generate_models" , "incremental" , "unsat_cores_mode" , "random_seed" , "solver_options" ) : v = getattr ( self , k ) kwargs [ k ] = v return kwargs