Package com.crawljax.stateabstractions.dom.RTED

Class Summary

Class	Description
InfoTree	Stores all needed information about a single tree in several indeces.
LabelDictionary	This provides a way of using small int values to represent String labels, as opposed to storing the labels directly.
LblTree	A node of a tree.
RTED_InfoTree_Opt	Computes the tree edit distance using RTED algorithm.
RTEDUtils