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

        Returns the values of the formulae as python types. in the
        current model returning a dictionary.
Returns the values of the formulae as python types.
Returns the values of the formulae as python types .
def get_py_values(self, formulae, model_completion=True):
        """Returns the values of the formulae as python types.

        Returns the values of the formulae as python types. in the
        current model returning a dictionary.
        """
        res = {}
        for f in formulae:
            v = self.get_py_value(f, model_completion=model_completion)
            res[f] = v
        return res
def get_py_values ( self , formulae , model_completion = True ) : res = { } for f in formulae : v = self . get_py_value ( f , model_completion = model_completion ) res [ f ] = v return res