CBMC
namespace.h File Reference
#include "deprecate.h"
#include "invariant.h"
#include "irep.h"
+ Include dependency graph for namespace.h:

Go to the source code of this file.

Classes

class  namespace_baset
 Basic interface for a namespace. More...
 
class  namespacet
 A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in them. More...
 
class  multi_namespacet
 A multi namespace is essentially a namespace, with a list of namespaces. More...