HasValueMapReplace Class Reference

#include <ValuePropagate.h>

Inheritance diagram for HasValueMapReplace:

Collaboration diagram for HasValueMapReplace:

Public Member Functions
	HasValueMapReplace (AstInterface &_fa, HasValueMap &_m, bool _usedefault)

Private Member Functions
void	VisitFunction (const SymbolicFunction &u)
SymbolicVal	operator() (const SymbolicVal &v)

Private Attributes
HasValueMap &	valmap
AstInterface &	fa
bool	usedefault
SymbolicVal	repl

Detailed Description

Definition at line 34 of file ValuePropagate.h.

Constructor & Destructor Documentation

HasValueMapReplace::HasValueMapReplace ( AstInterface &  _fa, HasValueMap &  _m, bool  _usedefault  )

inline

Definition at line 46 of file ValuePropagate.h.

Member Function Documentation

void HasValueMapReplace::VisitFunction ( const SymbolicFunction &  u)

private

SymbolicVal HasValueMapReplace::operator() ( const SymbolicVal &  v)

private

Member Data Documentation

HasValueMap& HasValueMapReplace::valmap

private

Definition at line 37 of file ValuePropagate.h.

AstInterface& HasValueMapReplace::fa

private

Definition at line 38 of file ValuePropagate.h.

bool HasValueMapReplace::usedefault

private

Definition at line 40 of file ValuePropagate.h.

SymbolicVal HasValueMapReplace::repl

private

Definition at line 41 of file ValuePropagate.h.

---

The documentation for this class was generated from the following file:

• ValuePropagate.h