hash_combine(val, hash_range(begin(props.reports), end(props.reports)));
if (props.suffix) {
- hash_combine(val, all_reports(props.suffix));
- if (props.suffix.graph) {
- hash_combine(val, num_vertices(*props.suffix.graph));
+ const auto &suffix = props.suffix;
+ if (suffix.castle) {
+ hash_combine(val, suffix.castle->reach());
+ hash_combine(val, suffix.castle->repeats.size());
}
- if (props.suffix.haig) {
- hash_combine(val, hash_dfa(*props.suffix.haig));
+ if (suffix.graph) {
+ hash_combine(val, num_vertices(*suffix.graph));
+ }
+ if (suffix.haig) {
+ hash_combine(val, hash_dfa(*suffix.haig));
}
}