(self, formulae)
return res
Returns the values of the formulae as python types.

        Returns a dictionary mapping each formula to its python value.
Returns the values of the formulae as python types.
Returns the values of the formulae as python types .
def get_py_values(self, formulae):
        """Returns the values of the formulae as python types.

        Returns a dictionary mapping each formula to its python value.
        """
        res = {}
        for f in formulae:
            v = self.get_py_value(f)
            res[f] = v
        return res
def get_py_values ( self , formulae ) : res = { } for f in formulae : v = self . get_py_value ( f ) res [ f ] = v return res