CBMC
prefix_filter.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Prefix Filtering
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_UTIL_PREFIX_FILTER_H
13 #define CPROVER_UTIL_PREFIX_FILTER_H
14 
15 #include <string>
16 #include <vector>
17 
19 class prefix_filtert
20 {
21 public:
22  prefix_filtert(
23  std::vector<std::string> included_prefixes,
24  std::vector<std::string> excluded_prefixes);
25 
30  bool operator()(const std::string &value) const;
31 
32 protected:
33  std::vector<std::string> included_prefixes;
34  std::vector<std::string> excluded_prefixes;
35 };
36 
37 #endif // CPROVER_UTIL_PREFIX_FILTER_H
prefix_filtert
Provides filtering of strings vai inclusion/exclusion lists of prefixes.
Definition: prefix_filter.h:20
prefix_filtert::included_prefixes
std::vector< std::string > included_prefixes
Definition: prefix_filter.h:33
prefix_filtert::prefix_filtert
prefix_filtert(std::vector< std::string > included_prefixes, std::vector< std::string > excluded_prefixes)
Definition: prefix_filter.cpp:18
prefix_filtert::operator()
bool operator()(const std::string &value) const
Return true iff value matches a prefix in included_prefixes, but doesn't match a prefix in excluded_p...
Definition: prefix_filter.cpp:26
prefix_filtert::excluded_prefixes
std::vector< std::string > excluded_prefixes
Definition: prefix_filter.h:34