#include "grey.h"
#include "ue2common.h"
+#include "nfa/dfa_min.h"
#include "nfa/mcclellancompile.h"
#include "nfa/mcclellancompile_util.h"
#include "nfa/nfa_internal.h"
return;
}
- prune_overlong(*r, cc.grey.smallWriteLargestBuffer);
+ if (prune_overlong(*r, cc.grey.smallWriteLargestBuffer)) {
+ minimize_hopcroft(*r, cc.grey);
+ }
if (rdfa) {
// do a merge of the new dfa with the existing dfa
return nullptr;
}
if (prune_overlong(rdfa, *small_region - *start_offset)) {
+ minimize_hopcroft(rdfa, cc.grey);
if (rdfa.start_anchored == DEAD_STATE) {
DEBUG_PRINTF("all patterns pruned out\n");
return nullptr;