docs/api/format__constant_8h_source.html

#ifndef CPROVER_FORMAT_CONSTANT_H

#define CPROVER_FORMAT_CONSTANT_H


#include <irep2/irep2.h>


class format_constantt : public format_spect

{

public:

  std::string operator()(const expr2tc &expr);

};


#endif

format_constantt
Definition format_constant.h:7

format_constantt::operator()
std::string operator()(const expr2tc &expr)
Definition format_constant.cpp:7

format_spect::format_spect
format_spect()
Definition format_spec.h:18

irep2.h
Classes and definitions for non-stringy internal representation.

expr2tc
irep_container< expr2t > expr2tc
Definition irep2.h:431