array_convt::touched_array Struct Reference

#include <array_conv.h>

Public Attributes
unsigned int	array_id
unsigned int	ctx_level

Member Data Documentation

array_id

unsigned int array_convt::touched_array::array_id

ctx_level

unsigned int array_convt::touched_array::ctx_level

---

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

• src/solvers/smt/array_conv.h