goto_contractor.cpp File Reference

#include <goto-programs/goto_contractor.h>
#include <goto-programs/abstract-interpretation/interval_domain.h>
#include <irep2/irep2_utils.h>

Include dependency graph for goto_contractor.cpp:

Functions
void	goto_contractor (goto_functionst &goto_functions, const namespacet &ns, const optionst &options)

Function Documentation

goto_contractor()

void goto_contractor	(	goto_functionst &	goto_functions,
		const namespacet &	ns,
		const optionst &	options )