ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
Simplifier for AST trees by sharing nodes based on the hash value. More...
#include <hash_ast.h>
Public Types | |
typedef std::shared_ptr< ExprMngr > | ExprMngrPtr |
Pointer type for passing shared ast simplifier. | |
Public Member Functions | |
ExprMngr () | |
Default constructor. | |
~ExprMngr () | |
Default destructor. | |
void | clear () |
Reset the hash table. | |
ExprPtr | GetRep (const ExprPtr &node) |
Return the AST node representative. | |
void | operator() (const ExprPtr &node) |
Function object for sharing ast nodes. | |
Static Public Member Functions | |
static ExprMngrPtr | New () |
Create an object and return the pointer. Used for hiding implementation specific types. | |
Simplifier for AST trees by sharing nodes based on the hash value.