virtual std::set< EFANode * > getAllNodes() const =0
std::vector< EFANode * > getCommonNodes(EFAFragment *other) const
virtual bool isConnected(EFAFragment *other_fragment) const =0
virtual bool containsNode(EFANode *node) const =0
virtual void removeInvalidEmbeddedNodes(std::map< unsigned int, EFANode * > &EmbeddedNodes)=0
virtual unsigned int getNumCutNodes() const =0
virtual unsigned int getNumCuts() const =0
virtual void switchNode(EFANode *new_node, EFANode *old_node)=0