expr_const.h File Reference

#include <ilang/ila/ast/expr.h>
#include <ilang/ila/ast/sort_value.h>

Go to the source code of this file.

Classes
class	ilang::ExprConst
	Expression for constant values (bool, bv, or memory). Constant should be terminating nodes in the AST. More...

Namespaces
	ilang

Detailed Description

Header for constant expression