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 72 of file arrays.h.

Member Data Documentation

f1

exprt arrayst::array_equalityt::f1

Definition at line 75 of file arrays.h.

f2

exprt arrayst::array_equalityt::f2

Definition at line 75 of file arrays.h.

l

literalt arrayst::array_equalityt::l

Definition at line 74 of file arrays.h.

---

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

• solvers/flattening/arrays.h