smt_solver_baset::ptr_flatten_entry Struct Reference

One pointer flattened to its machine representation by a bitcast. More...

#include <smt_solver.h>

Public Attributes
smt_astt	address
smt_astt	pointer
smt_astt	guard
	The flattening step's guard: an unexecuted step can flatten any pointer.
unsigned int	level
size_t	id

Detailed Description

One pointer flattened to its machine representation by a bitcast.

See convert_bitcast()'s helpers in smt_bitcast.cpp.

Member Data Documentation

address

smt_astt smt_solver_baset::ptr_flatten_entry::address

guard

smt_astt smt_solver_baset::ptr_flatten_entry::guard

The flattening step's guard: an unexecuted step can flatten any pointer.

id

size_t smt_solver_baset::ptr_flatten_entry::id

level

unsigned int smt_solver_baset::ptr_flatten_entry::level

pointer

smt_astt smt_solver_baset::ptr_flatten_entry::pointer

---

The documentation for this struct was generated from the following file:

• src/solvers/smt/smt_solver.h