inv_object_storet::entryt Struct Reference

#include <invariant_set.h>

Collaboration diagram for inv_object_storet::entryt:

Public Attributes
bool	is_constant
exprt	expr

Detailed Description

Definition at line 66 of file invariant_set.h.

Member Data Documentation

expr

exprt inv_object_storet::entryt::expr

Definition at line 69 of file invariant_set.h.

is_constant

bool inv_object_storet::entryt::is_constant

Definition at line 68 of file invariant_set.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/invariant_set.h