cprover
|
Namespace. More...
#include "namespace.h"
#include <algorithm>
#include <cassert>
#include "string2int.h"
#include "symbol_table.h"
#include "prefix.h"
#include "std_types.h"
Go to the source code of this file.
Functions | |
unsigned | get_max (const std::string &prefix, const symbol_tablet::symbolst &symbols) |
Namespace.
Definition in file namespace.cpp.
unsigned get_max | ( | const std::string & | prefix, |
const symbol_tablet::symbolst & | symbols | ||
) |
Definition at line 23 of file namespace.cpp.
References forall_symbols, has_prefix(), id2string(), and unsafe_string2unsigned().