ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
Class of traversing to find the application of functions in an AST. More...
#include <ast_helper.h>
Public Member Functions | |
FunctionApplicationFinder (const ExprPtr &expr) | |
const std::set < std::shared_ptr< Func > > | GetReferredFunc () const |
Protected Member Functions | |
void | hasFuncAppOnNode (const ExprPtr &e) |
does a node contain a funcapp | |
void | hasFuncApp (const ExprPtr &expr) |
does a tree contain funcapps? | |
Protected Attributes | |
std::set< std::shared_ptr< Func > > | _func_refs |
the functions used in app_func | |
std::set< Expr * > | visited |
record whether a node has been visited | |
Class of traversing to find the application of functions in an AST.