arrayst::array_equalityt Struct Reference

#include <arrays.h>

Collaboration diagram for arrayst::array_equalityt:

Public Attributes
literalt	l
exprt	f1
exprt	f2

Detailed Description

Definition at line 51 of file arrays.h.

Member Data Documentation

f1

exprt arrayst::array_equalityt::f1

Definition at line 54 of file arrays.h.

Referenced by arrayst::add_array_constraints_equality().

f2

exprt arrayst::array_equalityt::f2

Definition at line 54 of file arrays.h.

Referenced by arrayst::add_array_constraints_equality().

l

literalt arrayst::array_equalityt::l

Definition at line 53 of file arrays.h.

Referenced by arrayst::add_array_constraints_equality().

---

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

• solvers/flattening/arrays.h