array_convt::array_of_val_rec Struct Reference

#include <array_conv.h>

Public Attributes
unsigned int	array_id
smt_astt	value
unsigned int	ctx_level

Member Data Documentation

array_id

unsigned int array_convt::array_of_val_rec::array_id

ctx_level

unsigned int array_convt::array_of_val_rec::ctx_level

value

smt_astt array_convt::array_of_val_rec::value

---

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

• src/solvers/smt/array_conv.h