|
CBMC
|
#include <algorithm>#include <cstddef>#include <fstream>#include <iosfwd>#include <iterator>#include <unordered_map>#include <unordered_set>#include <vector>
Include dependency graph for nfa.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| struct | nfat< T > |
| Very simple NFA implementation Not super performant, but should be good enough for our purposes. More... | |
| struct | nfat< T >::statet |
| A state is a set of possibly active transitions. More... | |
| struct | nfat< T >::transitiont |
A simple NFA implementation.
This was created for use in the util/edit_distance.h functionality, which in turn is used in util/cmdline.h for suggesting spelling corrections when a user mistypes a command line option. Because of this the implementation wasn’t done with performance in mind and is probably unsuitable as-is for other purposes where performance does matter.
Definition in file nfa.h.