CBMC
ansi_c_scope.h File Reference
#include <util/irep.h>
#include <unordered_map>
+ Include dependency graph for ansi_c_scope.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  ansi_c_identifiert
 
class  ansi_c_scopet
 

Enumerations

enum class  ansi_c_id_classt {
  ANSI_C_UNKNOWN , ANSI_C_SYMBOL , ANSI_C_TYPEDEF , ANSI_C_TAG ,
  ANSI_C_LOCAL_LABEL
}
 

Functions

std::ostream & operator<< (std::ostream &os, ansi_c_id_classt c)
 

Enumeration Type Documentation

◆ ansi_c_id_classt

enum ansi_c_id_classt
strong
Enumerator
ANSI_C_UNKNOWN 
ANSI_C_SYMBOL 
ANSI_C_TYPEDEF 
ANSI_C_TAG 
ANSI_C_LOCAL_LABEL 

Definition at line 17 of file ansi_c_scope.h.

Function Documentation

◆ operator<<()

std::ostream& operator<< ( std::ostream &  os,
ansi_c_id_classt  c 
)