(self)
Overloading of iterator from Model.  We iterate only on the
        variables defined in the assignment.
Overloading of iterator from Model.  We iterate only on the
        variables defined in the assignment.
Overloading of iterator from Model . We iterate only on the variables defined in the assignment .
def __iter__(self):
        """Overloading of iterator from Model.  We iterate only on the
        variables defined in the assignment.
        """
        for d in self.z3_model.decls():
            if d.arity() == 0:
                try:
                    pysmt_d = self.converter.back(d())
                    yield pysmt_d, self.get_value(pysmt_d)
                except UndefinedSymbolError:
                    # avoids problems with symbols generated by z3
                    pass
def __iter__ ( self ) : for d in self . z3_model . decls ( ) : if d . arity ( ) == 0 : try : pysmt_d = self . converter . back ( d ( ) ) yield pysmt_d , self . get_value ( pysmt_d ) except UndefinedSymbolError : # avoids problems with symbols generated by z3 pass