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