cprover
|
Namespace. More...
#include "namespace.h"
#include <algorithm>
#include <cassert>
#include "prefix.h"
#include "std_expr.h"
#include "std_types.h"
#include "string2int.h"
#include "symbol_table.h"
Go to the source code of this file.
Functions | |
static std::size_t | smallest_unused_suffix (const std::string &prefix, const symbol_tablet::symbolst &symbols) |
Namespace.
Definition in file namespace.cpp.
|
static |
Definition at line 24 of file namespace.cpp.
References to_string().