(self, formulae, model_completion=True)
return res
Evaluates the values of the formulae in the current model.

        Evaluates the values of the formulae in the current model
        returning a dictionary.
Evaluates the values of the formulae in the current model.
Evaluates the values of the formulae in the current model .
def get_values(self, formulae, model_completion=True):
        """Evaluates the values of the formulae in the current model.

        Evaluates the values of the formulae in the current model
        returning a dictionary.
        """
        res = {}
        for f in formulae:
            v = self.get_value(f, model_completion=model_completion)
            res[f] = v
        return res
def get_values ( self , formulae , model_completion = True ) : res = { } for f in formulae : v = self . get_value ( f , model_completion = model_completion ) res [ f ] = v return res