equalityt::typestructt Struct Reference

#include <equality.h>

Collaboration diagram for equalityt::typestructt:

Public Attributes
elementst	elements
elements_revt	elements_rev
equalitiest	equalities

Detailed Description

Definition at line 43 of file equality.h.

Member Data Documentation

elements

elementst equalityt::typestructt::elements

Definition at line 45 of file equality.h.

elements_rev

elements_revt equalityt::typestructt::elements_rev

Definition at line 46 of file equality.h.

equalities

equalitiest equalityt::typestructt::equalities

Definition at line 47 of file equality.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/flattening/equality.h