ilang  1.1.4
ILAng: A Modeling and Verification Platform for SoCs
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
ilang::FuncObjRewrExpr Class Reference

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.
 

Detailed Description

Function object for rewriting Expr.


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