CBMC
Public Member Functions | Public Attributes | List of all members
arrayst::lazy_constraintt Struct Reference

#include <arrays.h>

+ Collaboration diagram for arrayst::lazy_constraintt:

Public Member Functions

 lazy_constraintt (lazy_typet _type, const exprt &_lazy)
 

Public Attributes

lazy_typet type
 
exprt lazy
 

Detailed Description

Definition at line 100 of file arrays.h.

Constructor & Destructor Documentation

◆ lazy_constraintt()

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

Definition at line 105 of file arrays.h.

Member Data Documentation

◆ lazy

exprt arrayst::lazy_constraintt::lazy

Definition at line 103 of file arrays.h.

◆ type

lazy_typet arrayst::lazy_constraintt::type

Definition at line 102 of file arrays.h.

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