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