cprover
Public Member Functions | Public Attributes | List of all members
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.

References lazy, and type.

Member Data Documentation

◆ lazy

exprt arrayst::lazy_constraintt::lazy

Definition at line 86 of file arrays.h.

Referenced by arrayst::add_array_constraint(), and lazy_constraintt().

◆ type

lazy_typet arrayst::lazy_constraintt::type

Definition at line 85 of file arrays.h.

Referenced by lazy_constraintt().

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