(self, formula, annotation, value)
Removes the given annotation for the given formula
Removes the given annotation for the given formula
Removes the given annotation for the given formula
def remove_value(self, formula, annotation, value):
        """Removes the given annotation for the given formula"""
        if formula in self._annotations:
            if annotation in self._annotations[formula]:
                d = self._annotations[formula][annotation]
                if value in d:
                    d.remove(value)
def remove_value ( self , formula , annotation , value ) : if formula in self . _annotations : if annotation in self . _annotations [ formula ] : d = self . _annotations [ formula ] [ annotation ] if value in d : d . remove ( value )