(self, formula)
return formula in self._annotations
Checks if formula has at least one annotation
Checks if formula has at least one annotation
Checks if formula has at least one annotation
def __contains__(self, formula):
        """Checks if formula has at least one annotation"""
        return formula in self._annotations
def __contains__ ( self , formula ) : return formula in self . _annotations