From c32959290957c70cd6be333ec6c0b6f1bde4cd80 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Thu, 24 Sep 2020 21:22:53 +0300 Subject: Update dfa. --- support/dfa.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'support/dfa.h') diff --git a/support/dfa.h b/support/dfa.h index c5bff898..2f77f263 100644 --- a/support/dfa.h +++ b/support/dfa.h @@ -113,6 +113,9 @@ extern struct dfa *dfasuperset (struct dfa const *d) _GL_ATTRIBUTE_PURE; /* The DFA is likely to be fast. */ extern bool dfaisfast (struct dfa const *) _GL_ATTRIBUTE_PURE; +/* Return true if every construct in D is supported by this DFA matcher. */ +extern bool dfasupported (struct dfa const *) _GL_ATTRIBUTE_PURE; + /* Free the storage held by the components of a struct dfa. */ extern void dfafree (struct dfa *); -- cgit v1.2.3