cprover
|
#include <invariant_set.h>
Public Attributes | |
bool | is_constant |
exprt | expr |
Definition at line 64 of file invariant_set.h.
exprt inv_object_storet::entryt::expr |
Definition at line 67 of file invariant_set.h.
Referenced by invariant_sett::invariant_sett().
bool inv_object_storet::entryt::is_constant |
Definition at line 66 of file invariant_set.h.