cprover
Loading...
Searching...
No Matches
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: