cprover
Symbol Table

Classes

class  symbolt
 Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet. More...
 
class  type_symbolt
 Symbol table entry describing a data typeThis is a symbol generated as part of type checking. More...
 
class  auxiliary_symbolt
 Internally generated symbol table entryThis is a symbol generated as part of translation to or modification of the intermediate representation. More...
 
class  parameter_symbolt
 Symbol table entry of function parameterThis is a symbol generated as part of type checking. More...
 
class  symbol_tablet
 The symbol table. More...
 

Detailed Description