cprover
|
#include <invariant_set.h>
Public Attributes | |
bool | is_constant |
exprt | expr |
Definition at line 61 of file invariant_set.h.
exprt inv_object_storet::entryt::expr |
Definition at line 64 of file invariant_set.h.
bool inv_object_storet::entryt::is_constant |
Definition at line 63 of file invariant_set.h.