struct_encoding.h File Reference

#include <util/expr.h>
#include <util/type.h>
#include <memory>

Include dependency graph for struct_encoding.h:

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

Go to the source code of this file.

Classes
class	struct_encodingt
	Encodes struct types/values into non-struct expressions/types. More...