diff options
author | Bart Polot <bart@net.in.tum.de> | 2013-09-26 12:45:31 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2013-09-26 12:45:31 +0000 |
commit | 6612e2a579c9e42bc679df285edb193ed6d974dd (patch) | |
tree | 03dd758210c39a5e72e40041411ec266d46747d5 /src/regex/regex_internal_lib.h | |
parent | 19d15fe2f575f4f6db2410d9de3ffa4de93a837b (diff) |
Add REGEX_INTERNAL_iterate_reachable_edges which only reveals edges reachable from
states with proof longer or equal to REGEX_INITIAL_BYTES
Diffstat (limited to 'src/regex/regex_internal_lib.h')
-rw-r--r-- | src/regex/regex_internal_lib.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/regex/regex_internal_lib.h b/src/regex/regex_internal_lib.h index 391a33fd26..96334c1c31 100644 --- a/src/regex/regex_internal_lib.h +++ b/src/regex/regex_internal_lib.h @@ -139,6 +139,22 @@ REGEX_INTERNAL_iterate_all_edges (struct REGEX_INTERNAL_Automaton *a, void *iterator_cls); +/** + * Iterate over all edges of automaton 'a' that are reachable from a state with + * a proof of at least GNUNET_REGEX_INITIAL_BYTES characters. + * + * Call the iterator for each such edge. + * + * @param a automaton. + * @param iterator iterator called for each reachable edge. + * @param iterator_cls closure. + */ +void +REGEX_INTERNAL_iterate_reachable_edges (struct REGEX_INTERNAL_Automaton *a, + REGEX_INTERNAL_KeyIterator iterator, + void *iterator_cls); + + /** * Handle to store cached data about a regex announce. |