cprover
equalityt::typestructt Struct Reference

#include <equality.h>

Collaboration diagram for equalityt::typestructt:
[legend]

Public Attributes

elementst elements
 
elements_revt elements_rev
 
equalitiest equalities
 

Detailed Description

Definition at line 40 of file equality.h.

Member Data Documentation

◆ elements

elementst equalityt::typestructt::elements

Definition at line 42 of file equality.h.

Referenced by equalityt::add_equality_constraints(), and equalityt::equality2().

◆ elements_rev

elements_revt equalityt::typestructt::elements_rev

Definition at line 43 of file equality.h.

Referenced by equalityt::equality2().

◆ equalities

equalitiest equalityt::typestructt::equalities

Definition at line 44 of file equality.h.

Referenced by equalityt::add_equality_constraints(), and equalityt::equality2().


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