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().