ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
Function object for rewriting Expr. More...
#include <u_rewriter.h>
Public Member Functions | |
FuncObjRewrExpr (const ExprMap &rule) | |
Constructor, initialize rewriting rule. | |
ExprPtr | get (const ExprPtr &e) const |
Return the rewritten result. | |
bool | pre (const ExprPtr &e) const |
Pre-process: return true (break) if the node has been visited. | |
void | post (const ExprPtr &e) |
Post-process: update the rewriting rule map. | |
Protected Member Functions | |
virtual ExprPtr | Rewrite (const ExprPtr &e) const |
Rewrite all sorts of Expr. | |
virtual ExprPtr | RewriteOp (const ExprPtr &e) const |
Rewrite Operation sorted Expr. | |
Protected Attributes | |
ExprMap | rule_ |
Internal rewriting table. | |
Function object for rewriting Expr.