cprover
|
Internal Representation. More...
#include "irep.h"
#include <ostream>
#include "string2int.h"
#include "string_hash.h"
#include "irep_hash.h"
Go to the source code of this file.
Functions | |
const irept & | get_nil_irep () |
static void | indent_str (std::string &s, unsigned indent) |
Variables | |
irept | nil_rep_storage |
Internal Representation.
Definition in file irep.cpp.
|
static |