Class TreeStatistics


  • public class TreeStatistics
    extends java.lang.Object
    • Field Detail

      • SOURCE_DOCUMENT_STATISTICS

        public final Statistics SOURCE_DOCUMENT_STATISTICS
      • TEMPORARY_TREE_STATISTICS

        public final Statistics TEMPORARY_TREE_STATISTICS
      • RESULT_TREE_STATISTICS

        public final Statistics RESULT_TREE_STATISTICS
      • ASSERTION_TREE_STATISTICS

        public final Statistics ASSERTION_TREE_STATISTICS
      • FN_PARSE_STATISTICS

        public final Statistics FN_PARSE_STATISTICS
    • Constructor Detail

      • TreeStatistics

        public TreeStatistics()