Class EfficientTreeHash


  • public class EfficientTreeHash
    extends java.lang.Object
    • Constructor Detail

      • EfficientTreeHash

        public EfficientTreeHash()
    • Method Detail

      • hash

        public static java.lang.String hash​(EfficientTree tree)
        Parameters:
        efficientTree -
        Returns:
        a language-based hash of this tree
      • hashOnIndices

        public static java.lang.String hashOnIndices​(EfficientTree tree)
      • hash

        public static java.lang.String hash​(EfficientTree tree,
                                            int node)