cprover
arrayst::array_equalityt Struct Reference

#include <arrays.h>

Collaboration diagram for arrayst::array_equalityt:
[legend]

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: