eval_index_resultt Struct Reference

Public Attributes
bool	is_good
mp_integer	value
bool	overrun

Detailed Description

Definition at line 22 of file full_array_abstract_object.cpp.

Member Data Documentation

is_good

bool eval_index_resultt::is_good

Definition at line 24 of file full_array_abstract_object.cpp.

overrun

bool eval_index_resultt::overrun

Definition at line 26 of file full_array_abstract_object.cpp.

value

mp_integer eval_index_resultt::value

Definition at line 25 of file full_array_abstract_object.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/variable-sensitivity/full_array_abstract_object.cpp