array_convt::array_select Struct Reference

#include <array_conv.h>

Public Attributes
unsigned int	src_array_update_num
expr2tc	idx
smt_astt	val
unsigned int	ctx_level
bool	converted

Member Data Documentation

converted

bool array_convt::array_select::converted

mutable

ctx_level

unsigned int array_convt::array_select::ctx_level

idx

expr2tc array_convt::array_select::idx

src_array_update_num

unsigned int array_convt::array_select::src_array_update_num

val

smt_astt array_convt::array_select::val

mutable

---

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

• src/solvers/smt/array_conv.h