CBMC
|
#include <algorithm>
#include <cstddef>
#include <fstream>
#include <iosfwd>
#include <iterator>
#include <unordered_map>
#include <unordered_set>
#include <vector>
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.