(self, node)
Checks whether the given node belongs to this formula manager.

        This overloads the 'in' operator, making it possible to write:

           E.g., if x in formula_manager: ...
Checks whether the given node belongs to this formula manager.
Checks whether the given node belongs to this formula manager .
def __contains__(self, node):
        """Checks whether the given node belongs to this formula manager.

        This overloads the 'in' operator, making it possible to write:

           E.g., if x in formula_manager: ...
        """
        if node._content in self.formulae:
            return self.formulae[node._content] == node
        else:
            return False
def __contains__ ( self , node ) : if node . _content in self . formulae : return self . formulae [ node . _content ] == node else : return False