(self, formula, annotation, value=None)
return False
Returns True iff the given formula has the given annotation. If
        Value is specified, True is returned only if the value is
        matching.
Returns True iff the given formula has the given annotation. If
        Value is specified, True is returned only if the value is
        matching.
Returns True iff the given formula has the given annotation . If Value is specified True is returned only if the value is matching .
def has_annotation(self, formula, annotation, value=None):
        """Returns True iff the given formula has the given annotation. If
        Value is specified, True is returned only if the value is
        matching.
        """
        if formula in self._annotations:
            if annotation in self._annotations[formula]:
                if value is None:
                    return True
                else:
                    return (value in self._annotations[formula][annotation])
        return False
def has_annotation ( self , formula , annotation , value = None ) : if formula in self . _annotations : if annotation in self . _annotations [ formula ] : if value is None : return True else : return ( value in self . _annotations [ formula ] [ annotation ] ) return False