Class RewriteConstructArrayAccess

• Defined in File ArrayRewrite.h

Inheritance Relationships

Base Types

• public CreateTmpArray (Class CreateTmpArray)

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

Class Documentation

class RewriteConstructArrayAccess : public CreateTmpArray, public MapObject<SymbolicVal, SymbolicVal>

Public Functions

inline RewriteConstructArrayAccess(CPPAstInterface &_fa, ArrayInterface &a, std::map<std::string, AstNodePtr> &_varmap, std::list<AstNodePtr> &_newstmts, const AstNodePtr &declloc)

bool rewritable(const SymbolicVal &head)

virtual SymbolicVal operator()(const SymbolicVal &orig)