ILAng-Doc/hash__ast_8h_source.html

 #ifndef ILANG_ILA_HASH_AST_H__

 #define ILANG_ILA_HASH_AST_H__


 #include <memory>

 #include <string>

 #include <unordered_map>


 #include <ilang/ila/ast_hub.h>


 namespace ilang {


 class ExprMngr {

 public:

   typedef std::shared_ptr<ExprMngr> ExprMngrPtr;


   // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //

   ExprMngr();

   ~ExprMngr();


   // ------------------------- HELPERS -------------------------------------- //

   static ExprMngrPtr New();


   // ------------------------- ACCESSORS/MUTATORS --------------------------- //

   void clear();


   // ------------------------- METHODS -------------------------------------- //

   ExprPtr GetRep(const ExprPtr& node);

   void operator()(const ExprPtr& node);


 private:

   // ------------------------- MEMBERS -------------------------------------- //

   std::unordered_map<std::string, ExprPtr> map_;


   // ------------------------- HELPER FUNCTIONS ----------------------------- //

   static std::string Hash(const ExprPtr& node);


 }; // class ExprMngr


 typedef ExprMngr::ExprMngrPtr ExprMngrPtr;


 } // namespace ilang


 #endif // ILANG_ILA_HASH_AST_H__

ilang::ExprMngr::ExprMngr
ExprMngr()
Default constructor.

ilang::ExprMngr::GetRep
ExprPtr GetRep(const ExprPtr &node)
Return the AST node representative.

ilang::ExprMngrPtr
ExprMngr::ExprMngrPtr ExprMngrPtr
Pointer type for passing shared ast simplifier.
Definition: hash_ast.h:56

ilang::ExprPtr
Expr::ExprPtr ExprPtr
Pointer type for normal use of Expr.
Definition: expr.h:138

ilang::ExprMngr::~ExprMngr
~ExprMngr()
Default destructor.

ilang::ExprMngr::operator()
void operator()(const ExprPtr &node)
Function object for sharing ast nodes.

ilang::ExprMngr::New
static ExprMngrPtr New()
Create an object and return the pointer. Used for hiding implementation specific types.

ilang::ExprMngr::clear
void clear()
Reset the hash table.

ilang::ExprMngr
Simplifier for AST trees by sharing nodes based on the hash value.
Definition: hash_ast.h:18

ast_hub.h

ilang::ExprMngr::ExprMngrPtr
std::shared_ptr< ExprMngr > ExprMngrPtr
Pointer type for passing shared ast simplifier.
Definition: hash_ast.h:21