(self, formula)
Removes all the annotations for the given formula
Removes all the annotations for the given formula
Removes all the annotations for the given formula
def remove(self, formula):
        """Removes all the annotations for the given formula"""
        if formula in self._annotations:
            del self._annotations[formula]
def remove ( self , formula ) : if formula in self . _annotations : del self . _annotations [ formula ]