diff options
author | Maximilian Szengel <gnunet@maxsz.de> | 2012-03-27 14:22:16 +0000 |
---|---|---|
committer | Maximilian Szengel <gnunet@maxsz.de> | 2012-03-27 14:22:16 +0000 |
commit | a3825c187b4f6acb08f0e5a0b5b0590dbe8ea9c8 (patch) | |
tree | e2f54229d4bd60c4c2099f0b8a65ea1b199571cd /src/regex/test_regex.c | |
parent | 4e35ffd43c81ff4a64c6da4e519548e452552c6b (diff) |
- dfa construction
Diffstat (limited to 'src/regex/test_regex.c')
-rw-r--r-- | src/regex/test_regex.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/regex/test_regex.c b/src/regex/test_regex.c index c27b093b42..18db145aca 100644 --- a/src/regex/test_regex.c +++ b/src/regex/test_regex.c @@ -46,7 +46,9 @@ main (int argc, char *argv[]) dfa = NULL; regex = "a\\*b(c|d)+c*(a(b|c)d)+"; - /*regex = "a(ab)b";*/ + /*regex = "\\*a(a|b)b";*/ + /*regex = "a(a|b)c";*/ + /*regex = "(a|aa)+";*/ nfa = GNUNET_REGEX_construct_nfa (regex, strlen (regex)); if (nfa) @@ -59,7 +61,9 @@ main (int argc, char *argv[]) dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); if (dfa) + { + GNUNET_REGEX_save_nfa_graph (dfa, "dfa_graph.dot"); GNUNET_REGEX_destroy_automaton (dfa); - + } return err; } |