Module PatchExtractor

Classes
class	PatchExtractor
	A class that manages some message-related aspects of tagging patches. More...
class	PatchInfo
	A container for a node, its duplicate, and the tagged patches. More...