Class MakeUniqueVar

• Defined in File DepInfoAnal.h

Inheritance Relationships

Base Types

• public MapObject< SymbolicVal, SymbolicVal > (Template Class MapObject)

• public SymbolicVisitor (Class SymbolicVisitor)

Class Documentation

class MakeUniqueVar : public MapObject<SymbolicVal, SymbolicVal>, public SymbolicVisitor

Public Types

typedef std::pair<std::string, AstNodePtr> ReverseRec

typedef std::map<std::string, ReverseRec, std::less<std::string>> ReverseRecMap

Public Functions

inline MakeUniqueVar(const DepInfoAnal::ModifyVariableInfo &r, ReverseRecMap &r1)

inline virtual SymbolicVal operator()(const SymbolicVal &v)

inline SymbolicVal operator()(const AstNodePtr &l, const AstNodePtr &r, const SymbolicVal &v, const std::string &p)