(self, formula, model_completion=True)
Returns the value of formula in the current model (if one exists).

        If model_completion is True, then variables not appearing in the
        assignment are given a default value, otherwise an error is generated.

        This is a simplified version of the SMT-LIB funtion get_values .
Returns the value of formula in the current model (if one exists).
Returns the value of formula in the current model ( if one exists ) .
def get_value(self, formula, model_completion=True):
        """Returns the value of formula in the current model (if one exists).

        If model_completion is True, then variables not appearing in the
        assignment are given a default value, otherwise an error is generated.

        This is a simplified version of the SMT-LIB funtion get_values .
        """
        raise NotImplementedError
def get_value ( self , formula , model_completion = True ) : raise NotImplementedError