docs/api/show__value__sets_8h_source.html

#ifndef CPROVER_GOTO_PROGRAMS_SHOW_VALUE_SETS_H

#define CPROVER_GOTO_PROGRAMS_SHOW_VALUE_SETS_H


#include <goto-programs/goto_functions.h>

#include <pointer-analysis/value_set_analysis.h>

#include <util/symtab/namespace.h>


void show_value_sets(

  const goto_functionst &goto_functions,

  const value_set_analysist &value_set_analysis,

  std::ostream &os);


void show_value_sets(

  const goto_programt &goto_program,

  const value_set_analysist &value_set_analysis,

  std::ostream &os);


#endif

goto_functionst
Definition goto_functions.h:56

goto_programt
A generic container class for a control flow graph for one function, in the form of a goto-program.
Definition goto_program.h:63

value_set_analysist
Definition value_set_analysis.h:11

goto_functions.h

namespace.h

os
Definition os.py:1

show_value_sets
void show_value_sets(const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis, std::ostream &os)
Definition show_value_sets.cpp:3

value_set_analysis.h