(self, annotation, value=None)
return set(res)
Returns the set of all the formulae having the given annotation
        key. If Value is specified, only the formula having the
        specified value are returned.
Returns the set of all the formulae having the given annotation
        key. If Value is specified, only the formula having the
        specified value are returned.
Returns the set of all the formulae having the given annotation key . If Value is specified only the formula having the specified value are returned .
def all_annotated_formulae(self, annotation, value=None):
        """Returns the set of all the formulae having the given annotation
        key. If Value is specified, only the formula having the
        specified value are returned.
        """
        res = []
        for f, amap in self._annotations.items():
            # MG: Revisit this code. Can this be simplified?
            if annotation in amap:
                if value is None:
                    res.append(f)
                else:
                    if value in amap[annotation]:
                        res.append(f)
        return set(res)
def all_annotated_formulae ( self , annotation , value = None ) : res = [ ] for f , amap in self . _annotations . items ( ) : # MG: Revisit this code. Can this be simplified? if annotation in amap : if value is None : res . append ( f ) else : if value in amap [ annotation ] : res . append ( f ) return set ( res )