array_convt::array_with Struct Reference

#include <array_conv.h>

Public Attributes
bool	is_ite
expr2tc	idx
union {
struct {
unsigned int   src_array_update_num
smt_astt   val
}   w
struct {
unsigned int   src_array_id_true
unsigned int   src_array_update_true
unsigned int   src_array_id_false
unsigned int   src_array_update_false
const array_ast *   true_arr_ast
const array_ast *   false_arr_ast
smt_astt   cond
}   i
}	u
unsigned int	ctx_level
unsigned int	update_level
bool	converted

Member Data Documentation

cond

smt_astt array_convt::array_with::cond

converted

bool array_convt::array_with::converted

mutable

ctx_level

unsigned int array_convt::array_with::ctx_level

false_arr_ast

const array_ast* array_convt::array_with::false_arr_ast

[struct]

struct { ... } array_convt::array_with::i

idx

expr2tc array_convt::array_with::idx

is_ite

bool array_convt::array_with::is_ite

src_array_id_false

unsigned int array_convt::array_with::src_array_id_false

src_array_id_true

unsigned int array_convt::array_with::src_array_id_true

src_array_update_false

unsigned int array_convt::array_with::src_array_update_false

src_array_update_num

unsigned int array_convt::array_with::src_array_update_num

src_array_update_true

unsigned int array_convt::array_with::src_array_update_true

true_arr_ast

const array_ast* array_convt::array_with::true_arr_ast

[union]

union { ... } array_convt::array_with::u

update_level

unsigned int array_convt::array_with::update_level

val

smt_astt array_convt::array_with::val

[struct]

struct { ... } array_convt::array_with::w

---

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

• src/solvers/smt/array_conv.h