array_convt::array_equality Struct Reference

#include <array_conv.h>

Public Attributes
unsigned int	arr1_id
unsigned int	arr2_id
unsigned int	arr1_update_num
unsigned int	arr2_update_num
smt_astt	result

Member Data Documentation

arr1_id

unsigned int array_convt::array_equality::arr1_id

arr1_update_num

unsigned int array_convt::array_equality::arr1_update_num

arr2_id

unsigned int array_convt::array_equality::arr2_id

arr2_update_num

unsigned int array_convt::array_equality::arr2_update_num

result

smt_astt array_convt::array_equality::result

mutable

---

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

• src/solvers/smt/array_conv.h