|
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.
1.8.5