ast_helper.h File Reference

#include <functional>
#include <set>
#include <unordered_map>
#include <utility>
#include "ilang/ila/instr_lvl_abs.h"
#include "ilang/vtarget-out/directive.h"

Go to the source code of this file.

Classes
class	ilang::VarUseFinder< T >
	Class of finding variable uses. So that we don't need to create pi variables for unused state variables. FIXME: currently there is no need to make a class for it, but in the future it is possible to use a hash table to avoid traverse the same sub-tree twice. More...
class	ilang::NestedMemAddrDataAvoider
	Class of traversing to avoid nested memory access in address. More...
class	ilang::FunctionApplicationFinder
	Class of traversing to find the application of functions in an AST. More...

Namespaces
	ilang

Functions
bool	ilang::getIteUnknownCondVal (const ExprPtr &e, ExprPtr &c, ExprPtr &v)
	Function to deal with Ite(c, v, apply(unknown) );.

Detailed Description

Header for AST helpers (some helper classes to handle AST)