CBMC
prefix_filter.h File Reference

Prefix Filtering. More...

#include <string>
#include <vector>
+ Include dependency graph for prefix_filter.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  prefix_filtert
 Provides filtering of strings vai inclusion/exclusion lists of prefixes. More...
 

Detailed Description

Prefix Filtering.

Definition in file prefix_filter.h.