CBMC
nfa.h File Reference
#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
 

Detailed Description

Author
Diffblue Ltd.

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.