panda_types.hpp File Reference

#include "APInt.hpp"

Include dependency graph for panda_types.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
using	integer_cst_t = APInt

Detailed Description

Author

Michele Fiorito miche.nosp@m.le.f.nosp@m.iorit.nosp@m.o@po.nosp@m.limi..nosp@m.it $Revision$ $Date$ Last modified by $Author$

Definition in file panda_types.hpp.

Typedef Documentation

integer_cst_t

using integer_cst_t = APInt

Definition at line 47 of file panda_types.hpp.