cprover
namespace.cpp File Reference

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"
Include dependency graph for namespace.cpp:

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)
 

Detailed Description

Namespace.

Definition in file namespace.cpp.

Function Documentation

◆ smallest_unused_suffix()

static std::size_t smallest_unused_suffix ( const std::string &  prefix,
const symbol_tablet::symbolst symbols 
)
static

Definition at line 24 of file namespace.cpp.

References to_string().