Loading...

Searching...

No Matches

propagate.cpp File Reference

Propagate. More...

#include "propagate.h"
#include <util/console.h>
#include <util/format_expr.h>
#include <util/simplify_expr.h>
#include "simplify_state_expr.h"
#include "state.h"
#include <iomanip>
#include <iostream>

+ Include dependency graph for propagate.cpp:

[フレーム]

Go to the source code of this file.

Functions

void propagate (const std::vector< framet > &frames, const workt &work, const std::unordered_set< symbol_exprt, irep_hash > &address_taken, bool verbose, const namespacet &ns, const std::function< void(const symbol_exprt &, exprt, const workt::patht &)> &propagator)

Detailed Description

Propagate.

Definition in file propagate.cpp.

Function Documentation

◆ propagate()

void propagate ( const std::vector< framet > & frames,

const workt & work,

const std::unordered_set< symbol_exprt, irep_hash > & address_taken,

bool verbose,

const namespacet & ns,

const std::function< void(const symbol_exprt &, exprt, const workt::patht &)> & propagator

)

Definition at line 24 of file propagate.cpp.