object_numbering.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Object Numbering
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
#define CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
 
#include <util/expr.h>
#include <util/numbering.h>
 
typedef numberingt<exprt, irep_hash> object_numberingt;
 
#endif // CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H