array_convt::idx_record Struct Reference

#include <array_conv.h>

Public Attributes
expr2tc	idx
unsigned int	ctx_level

Member Data Documentation

ctx_level

unsigned int array_convt::idx_record::ctx_level

idx

expr2tc array_convt::idx_record::idx

---

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

• src/solvers/smt/array_conv.h