static_show_domain.cpp File Reference

#include "static_show_domain.h"
#include <util/options.h>
#include <analyses/dependence_graph.h>
#include <analyses/variable-sensitivity/variable_sensitivity_dependence_graph.h>

Include dependency graph for static_show_domain.cpp:

Go to the source code of this file.

Functions
void	static_show_domain (const goto_modelt &goto_model, const ai_baset &ai, const optionst &options, std::ostream &out)
	Runs the analyzer and then prints out the domain. More...

Function Documentation

static_show_domain()

void static_show_domain	(	const goto_modelt &	goto_model,
		const ai_baset &	ai,
		const optionst &	options,
		std::ostream &	out
	)

Runs the analyzer and then prints out the domain.

Parameters

goto_model	the program analyzed
ai	the abstract interpreter after it has been run to fix point
options	the parsed user options
out	output stream for the printing

Definition at line 21 of file static_show_domain.cpp.