(self, formulae)
return res
Returns the value of the expressions if a model was found.

        Requires option generate_models to be set to true (default)
        and can be called only after :py:func:`solve` (or to one of
        the derived methods) returned sat or unknown, if no change to
        the assertion set occurred.

        :type formulae: Iterable of FNodes
        :returns: A dictionary associating to each expr a value
        :rtype: dict
Returns the value of the expressions if a model was found.
Returns the value of the expressions if a model was found .
def get_values(self, formulae):
        """Returns the value of the expressions if a model was found.

        Requires option generate_models to be set to true (default)
        and can be called only after :py:func:`solve` (or to one of
        the derived methods) returned sat or unknown, if no change to
        the assertion set occurred.

        :type formulae: Iterable of FNodes
        :returns: A dictionary associating to each expr a value
        :rtype: dict

        """
        res = {}
        for f in formulae:
            v = self.get_value(f)
            res[f] = v
        return res
def get_values ( self , formulae ) : res = { } for f in formulae : v = self . get_value ( f ) res [ f ] = v return res