cprover
arrayst::lazy_constraintt Struct Reference

#include <arrays.h>

Collaboration diagram for arrayst::lazy_constraintt:
[legend]

Public Member Functions

 lazy_constraintt (lazy_typet _type, const exprt &_lazy)
 

Public Attributes

lazy_typet type
 
exprt lazy
 

Detailed Description

Definition at line 83 of file arrays.h.

Constructor & Destructor Documentation

§ lazy_constraintt()

arrayst::lazy_constraintt::lazy_constraintt ( lazy_typet  _type,
const exprt _lazy 
)
inline

Definition at line 88 of file arrays.h.

Member Data Documentation

§ lazy

exprt arrayst::lazy_constraintt::lazy

Definition at line 86 of file arrays.h.

Referenced by arrayst::add_array_constraint().

§ type

lazy_typet arrayst::lazy_constraintt::type

Definition at line 85 of file arrays.h.


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