namespace.cpp File Reference

Namespace. More...

#include "namespace.h"
#include <algorithm>
#include <cassert>
#include "string2int.h"
#include "symbol_table.h"
#include "prefix.h"
#include "std_types.h"

Include dependency graph for namespace.cpp:

Go to the source code of this file.

Functions
unsigned	get_max (const std::string &prefix, const symbol_tablet::symbolst &symbols)

Detailed Description

Namespace.

Definition in file namespace.cpp.

Function Documentation

get_max()

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