array_convt::index_map_rec Struct Reference

#include <array_conv.h>

Public Attributes
expr2tc	idx
unsigned int	vec_idx
unsigned int	ctx_level

Member Data Documentation

ctx_level

unsigned int array_convt::index_map_rec::ctx_level

idx

expr2tc array_convt::index_map_rec::idx

vec_idx

unsigned int array_convt::index_map_rec::vec_idx

---

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

• src/solvers/smt/array_conv.h