(self, formula, annotation, value=None)
Adds an annotation for the given formula, possibly with the
        specified value
Adds an annotation for the given formula, possibly with the
        specified value
Adds an annotation for the given formula possibly with the specified value
def add(self, formula, annotation, value=None):
        """Adds an annotation for the given formula, possibly with the
        specified value"""
        term_annotations = self._annotations.setdefault(formula, {})
        values = term_annotations.setdefault(annotation, set())
        if value is not None:
            values.add(value)
def add ( self , formula , annotation , value = None ) : term_annotations = self . _annotations . setdefault ( formula , { } ) values = term_annotations . setdefault ( annotation , set ( ) ) if value is not None : values . add ( value )