cprover
|
#include <arrays.h>
Public Member Functions | |
lazy_constraintt (lazy_typet _type, const exprt &_lazy) | |
Public Attributes | |
lazy_typet | type |
exprt | lazy |
|
inline |
exprt arrayst::lazy_constraintt::lazy |
Definition at line 86 of file arrays.h.
Referenced by arrayst::add_array_constraint(), and lazy_constraintt().
lazy_typet arrayst::lazy_constraintt::type |
Definition at line 85 of file arrays.h.
Referenced by lazy_constraintt().