diff --git a/src/nfagraph/ng_haig.cpp b/src/nfagraph/ng_haig.cpp index 7681fa14..78c615c9 100644 --- a/src/nfagraph/ng_haig.cpp +++ b/src/nfagraph/ng_haig.cpp @@ -114,7 +114,7 @@ void populateAccepts(const NGHolder &g, StateSet *accept, StateSet *acceptEod) { } class Automaton_Base { -public: +protected: Automaton_Base(const NGHolder &graph_in, const ue2::unordered_map &state_ids_in) : graph(graph_in), state_ids(state_ids_in) { @@ -122,6 +122,7 @@ public: assert(alphasize <= ALPHABET_SIZE); } +public: static bool canPrune(const flat_set &) { return false; } const NGHolder &graph;