(self)
Returns an assignment for the named terms.

        Restrictions: Requires option :produce-assignments to be set to true and
                      can be called only after check-sat returned sat or unknown
                      if no change to the assertion set occurred.

        Note: Requires elements to be named
Returns an assignment for the named terms.
Returns an assignment for the named terms .
def get_assignment(self):
        """ Returns an assignment for the named terms.

        Restrictions: Requires option :produce-assignments to be set to true and
                      can be called only after check-sat returned sat or unknown
                      if no change to the assertion set occurred.

        Note: Requires elements to be named
        """
        raise NotImplementedError
def get_assignment ( self ) : raise NotImplementedError