- private final String _separator;
- private final List<Prefix> _greatest_common_prefixes = new ArrayList<>();
- private final List<Prefix> _greatest_common_prefixes_up = new ArrayList<>();
- private final List<Prefix> _greatest_common_prefixes_down = new ArrayList<>();
- private List<Prefix> _all = null;
- private List<Prefix> _collapsed = null;
- private List<Prefix> _cleaned_spec = null;
- private boolean _has_specifics = false;
- private List<Prefix> _all_up = null;
- private List<Prefix> _collapsed_up = null;
- private List<Prefix> _cleaned_spec_up = null;
- private boolean _has_specifics_up = false;
- private List<Prefix> _all_down = null;
- private List<Prefix> _collapsed_down = null;
- private List<Prefix> _cleaned_spec_down = null;
- private boolean _has_specifics_down = false;
- private String _query_name_prefix = "";
+ private final static double MIN_DIFF = 1E-5;
+ private final String _separator;
+ private final List<Prefix> _greatest_common_prefixes = new ArrayList<Prefix>();
+ private final List<Prefix> _greatest_common_prefixes_up = new ArrayList<Prefix>();
+ private final List<Prefix> _greatest_common_prefixes_down = new ArrayList<Prefix>();
+ private List<Prefix> _all = null;
+ private List<Prefix> _collapsed = null;
+ private List<Prefix> _cleaned_spec = null;
+ private boolean _has_specifics = false;
+ private List<Prefix> _all_up = null;
+ private List<Prefix> _collapsed_up = null;
+ private List<Prefix> _cleaned_spec_up = null;
+ private boolean _has_specifics_up = false;
+ private List<Prefix> _all_down = null;
+ private List<Prefix> _collapsed_down = null;
+ private List<Prefix> _cleaned_spec_down = null;
+ private boolean _has_specifics_down = false;
+ private int _matches = 0;
+ private int _ref_tree_ext_nodes = 0;
+ private String _query_name_prefix = "";